Ver original<? session_start(); if ( !isset($_SESSION['user']) ) { header("location: ../beuser.php"); } ?>