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