<!--

today = new Date
weekDayName = new Array("Sunday","Monday","Tuesday",
                        "Wednesday","Thursday","Friday","Saturday")
monthName = new Array("January","February","March","April","May","June","July",
                      "August","September","October","November","December")


fontBegin = "<font style=\"font-family:Arial,Sans-Serif; font-size:12px; color:gray;\">"
fontEnd = "</font>"

function printDate()
{
  document.write(fontBegin + weekDayName[today.getDay()] +
                 "<br/>" + monthName[today.getMonth()] +
                 " " + today.getDate() +
                 " " + today.getFullYear() + fontEnd)
}


fontBegin = "<font style=\"font-size:10px; font-style:normal; color:gray;\">"
fontEnd = "</font>"

function printLastUpdate()
{
  modified = new Date(document.lastModified)
  document.write(fontBegin + "Last updated:" +
                 "<br/>" + weekDayName[modified.getDay()] +
                 ", " + monthName[modified.getMonth()] +
                 " " + modified.getDate() +
                 ", " + modified.getFullYear() + fontEnd + "<br/>" +
		 "<a href=\"http://mtc.epfl.ch/cgi-bin/update.cgi\">"
		 + "Update now</a>");
}


function printCheckLink() {
  document.write('<a href="http://validator.w3.org/checklink?uri=');
  document.write(document.location);
  document.write('">W3C Link<br/>Checker</a>');
}

//-->
