// JavaScript Document Last Updated
function dayofWeek(day) {
  switch( day ){
    case 0: s = "Sunday"; break;
    case 1: s = "Monday"; break;
    case 2: s = "Tuesday"; break;
    case 3: s = "Wednesday"; break;
    case 4: s = "Thursday"; break;
    case 5: s = "Friday"; break;
    case 6: s = "Saturday"; break;
    default: s = "Unknown Day";
  }
  return s;
}

function monthofYear(mon) {
  switch( mon ) {
    case 0: s = "January"; break;
    case 1: s = "February"; break;
    case 2: s = "March"; break;
    case 3: s = "April"; break;
    case 4: s = "May"; break;
    case 5: s = "June"; break;
    case 6: s = "July"; break;
    case 7: s = "August"; break;
    case 8: s = "September"; break;
    case 9: s = "October"; break;
    case 10: s = "November"; break;
    case 11: s = "December"; break;
    default: s = "Unknown Month";
  }
  return s;
}

function displayModifiedDate() {
  var lastmod = document.lastModified;
  lastmoddate = Date.parse(lastmod);
  if(lastmoddate == 0) {
    document.writeln("Last Modified: Unknown Date");
  } else {
    d = new Date(lastmod);
    day=dayofWeek(d.getDay());
    mon=monthofYear(d.getMonth());
    dte=d.getDate();
    year=d.getFullYear();
    //document.write("Last Modified: " + day + ", " + mon + " " + dte + ", " + year);
    document.write("Last Modified: " + mon + " " + dte + ", " + year);
  }
}

function switchLanguage(){
  s = new String(window.location);
  s = s.replace("/english","/french");
  window.location=s;
}