added lib/seedrandom.js