<?php session_start(); if (!isset($_SESSION['faculty'])) { header("Location: ../index.php"); }