quindi dovrei fare una cosa del genere:

Codice PHP:
function random ($x)
print 
gmp_strval (random (1000)) . "\n"