<?
$random = gmp_random(10);
echo "$random";
?>
how to do that it echoes a random number and not a
Resource id #1,
  

-- 
 Marius
 [EMAIL PROTECTED]



-- 
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to