<?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:login.html");
}
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>