session_start(); if(isset($SESSION)){ header("location:user.htm"); /* Si ha iniciado la sesion, vamos a user.htm */ } else { /* Cerramos la parte de codigo htm porque vamos a escribir bastante HTML y nos será mas cómodo así que metiendo echo's */ ?>