function printHeader()
{
  document.writeln("<center><table class=\"headerTable\" width=\"98%\" cellpadding=\"2\">");
  document.writeln("<tr><td class=\"headerText\">");
  document.writeln("[ <a href=\"main.html\">Main</a> ] - ");
  document.writeln("[ <a href=\"links.html\">Links</a> ] - ");
  document.writeln("[ <a href=\"search.html\">Searches</a> ] - ");
  document.writeln("[ <a href=\"local.html\">Local</a> ]");
  document.writeln("</tr></td>");
  document.writeln("</table></center>");
}