importo random

[ggimigli]

$x=mt_rand(8000,1000)/2;