<?php
ini_set('session.cookie_httponly', 1);
ini_set('session.use_only_cookies', 1);
ini_set('session.cookie_secure', 1);
session_start();
if(!isset($_SESSION['key'])){
	header("location:index.php");
}
else {
	$name = $_SESSION['name'];
	$dept = $_SESSION['dept'];
	$id = $_SESSION['key'];
}
echo "<div align='right'>";
echo "Welcome ".$id." !!  ";
?>


<div align="right">

<form method="post" action="logout.php">
<input type="submit"  value="Logout" align="right">
</form>
</div>
<!--<center> <font color = "blue"> <i> <b>  Ist Research Day Registration </b> </i> </font>   </center> <br> <br> -->