<?if ($_SESSION["nombre_del_usuario"] == "") {?><script language="javascript"> location.href='login.php';</script><?}?>