// JavaScript Document

function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);


function MakeArray(n) {
	this.length = n
	return this
}
monthNames = new MakeArray(12)
monthNames[1] = "janvier"
monthNames[2] = "fevrier"
monthNames[3] = "mars"
monthNames[4] = "avril"
monthNames[5] = "mai"
monthNames[6] = "juin"
monthNames[7] = "juillet"
monthNames[8] = "aout"
monthNames[9] = "septembre"
monthNames[10] = "octobre"
monthNames[11] = "novembre"
monthNames[12] = "d&egrave;cembre"

dayNames = new MakeArray(7)
dayNames[1] = "dimanche"
dayNames[2] = "lundi"
dayNames[3] = "mardi"
dayNames[4] = "mercredi"
dayNames[5] = "jeudi"
dayNames[6] = "vendredi"
dayNames[7] = "samedi"

function customDateString(oneDate) {
	var theDay = dayNames[oneDate.getDay() + 1]
	var theMonth = monthNames[oneDate.getMonth() + 1]
	var theYear = oneDate.getYear() 
	var Hours = oneDate.getHours()
	var Minutes = oneDate.getMinutes()
	var Seconds = oneDate.getSeconds()
	return "Nous sommes le " + oneDate.getDate() + " " + theMonth + ", " 
	+ "2011" + ", il est " + (Hours <10 ? "0" : "") + Hours + " h " + (Minutes <10 ? "0" : "") + Minutes
	
}
