<?php if (!isset($_SESSION['idusuario']) or $_SESSION['idusuario'] == "") { header("Location: pagina.php"); }else{ echo "Bienvenido de nuevo Pepito..."; } ?>