// Menu Highlight script
document.write('<script language="JavaScript" type="text/javascript" src="/javascript/display.js"></script>\n') ;


// Call script onload
window.onload = function() { 
	addHighlight('navbar', 'current'); 
} ;