seedrandom fix'