<!-- script for inserting navigation bar on pages submitted to the search engines
if (window != top) 
{
  document.write ("<table width=100%><tr><td></td><td></td></tr></table>");
}
else
{
  document.write ("");
}
;
// -->

