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