Use of mt_rand instead of rand