First time here? Check out the FAQ!
answered 2013-04-16 11:55:08 +0100
Would current_randstate help? See the doc for randstate.
current_randstate