Used RandomLib as to generate random numbers