function WriteTHFooter ()
{
  document.write("<HR>\n<ADDRESS>\n<i>&copy; <a href=\"../contact.html\">Andrew Senior</A> 1991-2006</I>\n</ADDRESS>");
}


function WriteNavStart ()
{
document.write(" [ ");
}
function WriteNavEnd ()
{
  document.write(" ] ");
}
function WriteOneNav (link, name, idontlink)
{
  document.write(" | ");
  WriteOneNavNoBar(link, name, idontlink);
 }

function WriteOneNavNoBar (link, name, idontlink)
{
  if (!idontlink) document.write(" <A HREF=\""+link+"\">");
  document.write(name);
  if (!idontlink) document.write("</A> ");
}

function WriteTHMainNav (iWhichNoNav)
{
  if (iWhichNoNav>=0)
    document.write("<P><CENTER>\n");
  document.write("<P>\n");
  WriteNavStart();
  WriteOneNavNoBar("index.html", "Index", iWhichNoNav==1);
  WriteOneNav("principal.html", "Principal arms", iWhichNoNav==2);
  WriteOneNav("buildings.html", "Buildings", iWhichNoNav==3);
  WriteOneNav("bibliography.html", "Bibliography", iWhichNoNav==4);
  WriteNavEnd();
  if (iWhichNoNav>=0)
    document.write("</CENTER>\n");
}

function WriteTHPrincipalNav (iWhichNoNav)
{
  if (iWhichNoNav>=0)
    document.write("<P><CENTER>\n");
  WriteNavStart();
  WriteOneNavNoBar("founder.html", "The Founder", iWhichNoNav==1);
  WriteOneNav("college.html", "The College", iWhichNoNav==2);
  WriteOneNav("masters.html", "The Masters", iWhichNoNav==3);
  WriteOneNav("university.html", "The University", iWhichNoNav==4);
  WriteNavEnd();
  if (iWhichNoNav>=0)
    document.write("</CENTER>\n");
}

function WriteTHBuildingNav (iWhichNoNav)
{
 if (iWhichNoNav>=0)
    document.write("<P><CENTER>\n");
  WriteNavStart();
  WriteOneNavNoBar("chapel.html", "Chapel", iWhichNoNav==1);
  WriteOneNav("plodge.html", "Porters\' lodge", iWhichNoNav==2);
  WriteOneNav("frontcourt.html", "Front court", iWhichNoNav==3);
  WriteOneNav("masterslodge.html", "Master\'s lodge", iWhichNoNav==4);
  WriteOneNav("library.html", "Library", iWhichNoNav==5);
  WriteOneNav("latham.html", "Latham", iWhichNoNav==6);
  WriteOneNav("hall.html", "Hall", iWhichNoNav==7);
  WriteOneNav("othersites.html", "Other", iWhichNoNav==8);
  WriteNavEnd();
  if (iWhichNoNav>=0)
    document.write("</CENTER>\n");
}