added random number generator (by UCL)