/*Write out the sidebar for the Bad Pets pages. July 31, 2009.
  NoHRef is a number that indicates which Bad Pets page is
  the current one, to which no hyperlink is required.*/
function SideBar(NoHRef)
{
  document.write("<H3>Quick Links</H3>");
  document.write("  <P><a href=\"../index.html\">Home Page</a>");
  document.write("  <P><a href=\"../BadPets/index.html\">Bad Pets Lists</a>");
  WriteOut("BadBird.html","Bad Bird List",(NoHRef == 1));
  WriteOut("BadBunny.html","Bad Bunny List",(NoHRef == 2));
  WriteOut("BadDog.html","Bad Dog List",(NoHRef == 3));
  WriteOut("BadFerret.html","Bad Ferret List",(NoHRef == 4));
  WriteOut("BadGuineaPig.html","Bad Rodent List",(NoHRef == 5));
  WriteOut("BadHorse.html","Bad Horse List",(NoHRef == 6));
  WriteOut("BadHuman.html","Bad Cat Human List",(NoHRef == 7));
  WriteOut("BadIguana.html","Bad Iguana List",(NoHRef == 8));
  WriteOut("BadKitty.html","Bad Kitty List",(NoHRef == 9));
  WriteOut("CatRules.html","Cat Rules List",(NoHRef == 10));
  document.write("  <P><a href=\"../CatHumor/CatLinks.html\">Cat Humour</a>");
  document.write("  <P><a href=\"../DogHumor/DogLinks.html\">Dog Humour</a>");
  document.write("  <P><a href=\"../MiscPetHumor/MiscLinks.html\">Other Pet Humour</a>");
  document.write("  <P><a href=\"../Humor/index.html\">Misc Humour Page</a>");
  document.write("  <P><a href=\"../Diplomacy/index.html\">Diplomacy</a>");
  document.write("  <P><a href=\"../Documents/index.html\">Misc Documents</a>");
}

function WriteOut(FileName,Caption,UseHRef)
/*Write out either the Caption with no HREF or caption and URL.*/
{
  if(UseHRef)
    document.write("  <P Class=\"indent\">" + Caption);
  else
    document.write('  <P Class="indent"><A href="' + FileName + '">' + Caption + '</A>');
}

/*Write the date nicely. Looted from Microsoft jScript page
  http://msdn2.microsoft.com/en-us/library/4zx5dkc9.aspx*/
var Months = new Array("January","February","March","April","May","June","July","August",
  "September","October","November","December");
var CurDate = new Date(document.lastModified);
var TODAY = Months[CurDate.getMonth()] + " " + CurDate.getDate() + ", " + CurDate.getFullYear();