document.write('<a href="mission/index.html" onmouseout="MM_swapImgRestore()"onmouseover="');
document.write('MM_swapImage(\'Mission\',\'\',\'images/nav_mission_h.gif\',1)"><img ');
document.write('src="images/nav_mission.gif" alt="Mission" name="Mission" width="108" height="24"');
document.write('border="0" id="Mission" /></a><a href="facility/index.html" onmouseout="MM_swap');
document.write('ImgRestore()"onmouseover="MM_swapImage(\'Facility\',\'\',\'images/nav_facility_h.gif');
document.write('\',1)"><img src="images/nav_facility.gif" alt="Facility" name="Facility" width="108" height="24"');
document.write('border="0" id="Facility" /></a><a href="news/index.html" onmouseout="MM_');
document.write('swapImgRestore()"onmouseover="MM_swapImage(\'News\',\'\',\'images/nav_news_h');
document.write('.gif\',1)"><img src="images/nav_news.gif" alt="News" name="News" ');
document.write('width="108" height="24" border="0" id="News" /></a><a href="events/index.html" ');
document.write('onmouseout="MM_swapImgRestore()"onmouseover="MM_swapImage(\'Events\',\'\',\'images/');
document.write('nav_events_h.gif\',1)"><img src="images/nav_events.gif" alt="Events" ');
document.write('name="Events" width="108" height="24" border="0" id="Events" /></a><a href=');
document.write('"research/index.html" onmouseout="MM_swapImgRestore()"onmouseover="MM_swapImage(\'Research');
document.write('\',\'\',\'images/nav_research_h.gif\',1)"><img src="images/nav_research.gif" alt="Research" ');
document.write('name="Research" width="108" height="24" border="0" ');
document.write('id="Research" /></a><a href="http://www3.lehigh.edu/giving/steps.asp" onmouseout="MM_swapImgRestore()"');
document.write('onmouseover="MM_swapImage(\'Support\',\'\',\'images/nav_support_h.gif\',1)"><img ');
document.write('src="images/nav_support.gif" alt="Support" name="Support" ');
document.write('width="108" height="24" border="0" id="Support" /></a><a href="contact/index.html" ');
document.write('onmouseout="MM_swapImgRestore()"onmouseover="MM_swapImage(\'Contact\',\'\',\'images/');
document.write('nav_contact_h.gif\',1)"><img src="images/nav_contact.gif" alt="Contact" ');
document.write('name="Contact" width="108" height="24" border="0" id="Contact" /></a>');