Update prng4.js