Used random number