<?php 
session_start();
  if (!isset($_SESSION["varusername"]))
   {
      header("location: index.php");
   }
?>