<?php
session_start();
if(!isset($_SESSION['key'])){
	header("location:login.html");
}
$dept = "nn";
$sem = "nn";
$namee1 = $_SESSION['namee1']; 
if(isset($_SESSION['dept']) && isset($_SESSION['semester'])){
	$dept = $_SESSION['dept'];
	$sem = $_SESSION['semester'];
	$avail = $_SESSION['avail'];
}
$r = $_SESSION['key'];
echo "<div align='right'>";
echo "Welcome ".$r." !!  ";

if($a == 1) {
	$_SESSION['expire'] = time()+1*60;
}
$a = 0;
if(time() > $_SESSION['expire']){
	session_destroy();
	header("location:login.html");
}

$_SESSION['expire'] = time()+1*60;




?>


<div align="right">

<form method="post" action="logout.php">
<input type="submit"  value="Logout" align="right">
</form>
</div>