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 = "Unknownday"
     }
     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 = "Unknownmonth"
     }
     return s;
}


function monthofYearFR(mon)
  {
     switch( mon ) {
     case 0: s = "janvier"; break;
     case 1: s = "février"; break;
     case 2: s = "mars"; break;
     case 3: s = "avril"; break;
     case 4: s = "mai"; break;
     case 5: s = "juin"; break;
     case 6: s = "juillet"; break;
     case 7: s = "août"; break;
     case 8: s = "septembre"; break;
     case 9: s = "octobre"; break;
     case 10: s = "novembre"; break;
     case 11: s = "décembre"; break;
     default: s = "Unknownmonth"
     }
     return s;
}

function lastmodified() {    
    lastmod = document.lastModified     // get string of last modified date
    lastmoddate = Date.parse(lastmod)   // convert modified string to date
    if(lastmoddate == 0){               // unknown date (or January 1, 1970 GMT)
       document.writeln("Last Modified: Unknown")
    } else {
		var d = new Date(lastmod);
		var day=dayofWeek(d.getDay());
		var mon=monthofYear(d.getMonth()); 
		var dte=d.getDate();
		var year=d.getFullYear();
		document.write(day + ", " + mon + " " + dte + ", " + year);
	}
}

function lastmodified_FR() {    
    lastmod = document.lastModified     // get string of last modified date
    lastmoddate = Date.parse(lastmod)   // convert modified string to date
    if(lastmoddate == 0){               // unknown date (or January 1, 1970 GMT)
       document.writeln("Last Modified: Unknown")
    } else {
		var d = new Date(lastmod);
		var mon=monthofYearFR(d.getMonth()); 
		var dte=d.getDate();
		var year=d.getFullYear();
		document.write("le " + mon + " " + dte + " " + year);
	}
}