.

// da inserire prima di tutto!!!!
if(session_id() == "") { session_start(); }
if(!isset($_SESSION['accesso']) || $_SESSION['accesso'] != "ok")
{
print("

");
}
?>