added WELL Random Number Generator