function menu()

{

  s="<li>&nbsp\;&nbsp\;<a href=\"./index.htm\">Home</a></li>";

//  s+="<li>&nbsp\;&nbsp\;<a href=\"./news.htm\">News</a></li>";

  s+="<li>&nbsp\;&nbsp\;<a href=\"./calendar.htm\">Calendar</a></li>";

  s+="<li>&nbsp\;&nbsp\;<a href=\"./certification.htm\">Certification</a></li>";

  s+="<li>&nbsp\;&nbsp\;<a href=\"./minutes.htm\">Minutes</a></li>";

//  s+="<li>&nbsp\;&nbsp\;<a href=\"./tools.htm\">Tools</a></li>";

  s+="<li>&nbsp\;&nbsp\;<a href=\"./links.htm\">Links</a></li>";

  document.write(s);

}



//window.onload = setup_menu;