<?php
session_start();
if(!isset($_SESSION['key'])){
header("location:login.html");
}


$s=$_SESSION['key'];
//$r=$_SESSION['no'];
echo "<div align='right'>";
echo "Welcome ".$s." !!  ";
$s6 = "http://172.25.15.32/elective/syllabus/";
?>


<div align="right">

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