function writeComment(comment)
{
  document.write("<!-- " + comment + " -->");
}

function writeHeader(pageTitle)
{
  numLinks = 4;
  var linkNames = new Array(numLinks);
  var linkRef = new Array(numLinks);
  linkNames[0] = "acad";
  linkRef[0] = "http://www.cs.unc.edu/~davisb/acad/acad.html";
  linkNames[1] = "bio";
  linkRef[1] = "http://www.cs.unc.edu/~davisb/bio.html";
  linkNames[2] = "links";
  linkRef[2] = "http://www.cs.unc.edu/~davisb/links.html";
  linkNames[3] = "main";
  linkRef[3] = "http://www.cs.unc.edu/~davisb/index.html";

  writeComment("header");
  document.write("<div class=\"header\">" + pageTitle + "</div>");        
  writeComment("navigation bar");
  document.write("<div class=\"navBar\">");
  for (i = 0; i < numLinks; i++)
    {
      document.write("<a class=\"navBarLink\" href=\"");
      document.write(linkRef[i]);
      document.write("\">");
      document.write("["+linkNames[i]+"]");
      document.write("</a>");
      if (i < numLinks - 1)
	{
	  document.write("&nbsp;&nbsp;&nbsp;&nbsp;");
	}
    }
  document.write("</div>");        
}


function writeFooter()
{
  document.write("<div class=\"footer1\">&nbsp;</div>");
  document.write("<div class=\"footer2\">&nbsp;</div>");
}