codice:
if($loggato)
...codice HTML o PHP
else { Header("Location: pagina_login.php"); }