Delete prng4.js~