random number generator (ranlux) added