$numero=rand(0,1000); $_SESSION['numero']=$numero;
if(isset($_SESSION['numero'])){ //LO QUE QUIERAS }