session_start(); //if(!session_is_registered(myusername)){ $myusername="myusername"; if(!isset($_SESSION[$myusername])) { header("location:login/login.html"); } else { header("location:rico/php/index.php"); } ?>