".'Disconnetti'.""; if (isset ($_SESSION['Login']) && ($_SESSION['Login']==true)) { $_SESSION['Registrato']=true; } else { $_SESSION['Registrato']=false; } ?>
	2) { $_GET['IdArticolo']=$art[3]; //include("script/disp_estratto.php"); } ?> 3) { $_GET['IdArticolo']=$art[4]; //include("script/disp_estratto.php"); } ?>