rand.phpの訂正