document.write(
  '<!-- Skip Navigation <a href="#MainContent" accesskey="M" title="MainContent"> <img src="images/bluespace.gif"alt="Skip directly to Main Content" border="0" width="100%" height="12"></a>-->'
 +'<!--<div id="menu1"><a href="http://www.ntis.gov/jobs/jobsearch.aspx" class="nav">Federal Jobs</a></div>-->'
 +'<div id="menu1"><a href="http://www.fedworld.gov/govlinks.html" class="nav">Top Government Websites</a></div>'
 +'<div id="menu1"><a href="http://www.ntis.gov/search/index.aspx" class="nav">Government R&amp;D Reports</a></div>'
 +'<div id="menu1"><a href="http://www.science.gov/" class="nav">Science.gov</a></div>'
 +'<div id="menu1"><a href="http://usasearch.gov/" class="nav">Search USA.gov</a></div>'
 +'<div id="menu1"><a href="http://www.fedworld.gov/irs.html" class="nav">IRS Tax Forms</a></div>'
 +'<div id="menu1"><a href="/" class="nav">Supreme Court Decisions</a></div>'
 +'');