$value = $user_input or 10;
$x = rand($value);