<?php
session_start();
$user_name=$_SESSION['user_name'];
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>

<title>Report</title>
<link type="text/css" href="menu.css" rel="stylesheet" />
   <script type="text/javascript" src="jquery.js"></script>
    <script type="text/javascript" src="menu.js"></script>
</head>

<body>

<div id="menu">
    <ul class="menu">
	       <li class="last"><font color="white" font size="3" >WELCOME&nbsp;&nbsp;</font><font color="white" size="4"><?php echo strtoupper($user_name)?></font></b></li>&nbsp;&nbsp;        
	      <li><a href="view_casestatus.php"><span>SEARCH</span></a></li>		
        <li ><a href="logout2.php"><span>LOGOUT</span></a></li>		
    </ul>
</div>
</body>
</html>
