Partial value of salt for modified Math.random() function: