session_start(); if(!isset($_SESSION['udesig']) || $_SESSION['udesig']!="deo") header("Location:loginmain.php"); include "head.inc"; ?>