menu()

function menu()
{
document.write("<td class=mainmenu style='padding-left:10px;'>");		
document.write("<a href='../index.html'>HOME</a> |");
document.write("<a href='../about.html'>ABOUT US</a> |");
document.write("<a href='../about/mg.html'>OUR PEOPLE</a> |");
document.write("<a href='../publication.html'>PUBLICATIONS</a> |");
document.write("<a href='../events_top.html'>EVENTS</a> |");
document.write("<a href='../intern.html'>INTERNSHIPS</a>");						
document.write("</td>");
}