added setSeed()