function menuOver(objId){
	objId.style.backgroundColor="#003399";
}
function menuOut(objId){
	objId.style.backgroundColor="";
}

/*
function header(){
	document.write('<table width="800" height="125" border="0" cellpadding="0" cellspacing="0"><tr><td width="12" height="73">&nbsp;</td>		<td width="556">&nbsp;</td><td width="171">&nbsp;</td><td rowspan="3"><img src="images/logo_e3L_S.gif" border="0" alt="back to Home" ></td></tr><tr><td height="36">&nbsp;</td>		<td valign="bottom">	<span id="root1" class="root" onMouseOut="menuOut(\'root1\'); MM_startTimeout();"  onMouseOver="menuOver(\'root1\'); MM_showMenu(window.overview, 10, 03, null, '');">Overview of e3L</span>&nbsp;&nbsp;&nbsp;&nbsp;		<span id="root2" class="root" onMouseOut="menuOut(\'root2\'); MM_startTimeout();"  onMouseOver="menuOver(\'root2\'); MM_showMenu(window.enrich, 130, 24, null, '');">Enrich</span>&nbsp;&nbsp;&nbsp;&nbsp;		<span id="root3" class="root" onMouseOut="menuOut(\'root3\'); MM_startTimeout();"  onMouseOver="menuOver(\'root3\'); MM_showMenu(window.extend, 220, 44, null, '');">Extend</span>&nbsp;&nbsp;&nbsp;&nbsp;		<span id="root4" class="root" onMouseOut="menuOut(\'root4\'); MM_startTimeout();"  onMouseOver="menuOver(\'root4\'); MM_showMenu(window.evaluate, 300, 03, null, '');">Evalutae</span>&nbsp;&nbsp;&nbsp;&nbsp;		<span id="root5" class="root" onMouseOut="menuOut(\'root5\'); MM_startTimeout();"  onMouseOver="menuOver(\'root5\'); MM_showMenu(window.resources, 400, 03, null, '');">Resources</span>&nbsp;&nbsp;&nbsp;&nbsp;</td><td>&nbsp;</td></tr><tr><td>&nbsp;</td><td>&nbsp;</td><td>&nbsp;</td></tr></table>	');
}
*/