var output = ""
      if (document.images){

      roll_init();

      output +=   '<CENTER><img src="/images/spacer.gif" width="1" height="32"><A HREF="/" onMouseOver="over('
      output +=   "'home')"
      output +=   '" onMouseOut="out('
      output +=   "'home')"
      output +=   '"><IMG NAME="home" src="/images/home-off.gif" BORDER="0" ALT="Return to home page" WIDTH="104" HEIGHT="32"></A> <A HREF="/search.html" onMouseOver="over('
      output +=   "'search')"
      output +=   '" onMouseOut="out('
      output +=   "'search')"
      output +=   '"><IMG NAME="search" src="/images/search-off.gif" BORDER="0" ALT="Go to advanced search page" WIDTH="104" HEIGHT="32"></A> <A HREF="/about.html" onMouseOver="over('
      output +=   "'about')"
      output +=   '" onMouseOut="out('
      output +=   "'about')"
      output +=   '"><IMG NAME="about" src="/images/about-off.gif" BORDER="0" ALT="Find out more about PubList" WIDTH="104" HEIGHT="32"></A> <A HREF="/help.html" onMouseOver="over('
      output +=   "'help')"
      output +=   '" onMouseOut="out('
      output +=   "'help')"
      output +=   '"><IMG NAME="help" src="/images/help-off.gif" BORDER="0" ALT="Helpful tips for searching the site" WIDTH="104" HEIGHT="32"></A></CENTER>'
      }
      else{

      output +=   '<A HREF="/"><IMG src="/images/home-off.gif" WIDTH="104" HEIGHT="32" BORDER="0"></A><A HREF="/search.html">'
      output +=   '<IMG src="/images/search-off.gif" WIDTH="104" HEIGHT="32" BORDER="0"></A><A HREF="about.htlm"><IMG src="/images/about-off.gif" WIDTH="104" HEIGHT="32" BORDER="0">' 
      output +=   '</A><A HREF="/help.html"><IMG src="/images/help-off.gif" WIDTH="104" HEIGHT="32" BORDER="0"></A>'
      }

      document.write(output);