session_start(); include("../mdb-database/database.php"); $random=rand(100000, 101000); if($_SESSION['idProvvisorio']=="") $_SESSION['idProvvisorio']=$random; ?>