var MENU_ITEMS = [ ['HOME', "Welcome.html", null], 
  		   ['About', "About.html", null], 
                   ['Publications', "Publications.html", null], 
		   ['Software', "Software.html", null], 
		   ['Contact @', "Contact.html", null], ];