quindi questa parte qua la tolgo:

Codice PHP:
  if(!session_is_registered(utente)){ 
header("location:main_login.php"); 
} 

else 
{ 
echo "Benvenuta ".$_SESSION['utente']; 
} 

?> 
a cosa serviva?
e sopratutto cos'è : location:main_login.php ???