// **********************
// * common javascripts *
// **********************


//*** Display footer for the page
//* Current only displays the modified date
function GetFooter()
{
   var lastModDate = new Date(document.lastModified);
   var lastMod = Date.parse(lastModDate);
   if (lastMod != 0) {
     document.writeln("<hr><i><font size=-1>");
     document.writeln("Last modified on " + lastModDate);
     document.writeln("<font></i>");
   }
}