'; include($_SERVER['DOCUMENT_ROOT']."/script/main_menu.php"); if (!$_SESSION['Login']) include($_SERVER['DOCUMENT_ROOT']."/script/login_form.inc"); //echo scegli_banner(160); ?>