function submenu()
{
document.write('<BR><P CLASS="menu">');
document.write('<A CLASS="menu" HREF="../about.html">   &nbsp;ABOUT US</A>    <BR>');
document.write('<A CLASS="menu" HREF="../tests.html">   &nbsp;TESTING</A>     <BR>');
document.write('<A CLASS="menu" HREF="../fac.html">     &nbsp;FACILITIES</A>  <BR>');
document.write('<A CLASS="menu" HREF="../contact.html"> &nbsp;CONTACT US</A>  <BR>');
document.write('<A CLASS="menu" HREF="../index.html">   &nbsp;HOME</A>        <BR>');
document.write('</P>');
document.write('<HR COLOR="GRAY" WIDTH="85%">'); 		 			 			 
}