function daysEN() {
      this[0]= "Sunday"; this[1]= "Monday"; this[2]= "Tuesday";
      this[3]= "Wednesday"; this[4]= "Thursday"; this[5]= "Friday";
      this[6]= "Saturday";
}
function monthsEN() {
      this[0]="January"; this[1]="February"; this[2]= "March";
      this[3]="April"; this[4]="May"; this[5]= "June";
      this[6]="July"; this[7]="August"; this[8]= "September";
      this[9]="October"; this[10]="November"; this[11]= "December";
}

function daysFR() {
      this[0]= "Dimanche"; this[1]= "Lundi"; this[2]= "Mardi";
      this[3]= "Mercredi"; this[4]= "Jeudi"; this[5]= "Vendredi";
      this[6]= "Samedi";
}

function monthsFR() {
      this[0]="Janvier"; this[1]="Février"; this[2]= "Mars";
      this[3]="Avril"; this[4]="Mai"; this[5]= "Juin";
      this[6]="Juillet"; this[7]="Août"; this[8]= "Septembre";
      this[9]="Octobre"; this[10]="Novembre"; this[11]= "Décembre";
}

function daysDE() {
      this[0]= "Sonntag"; this[1]= "Montag"; this[2]= "Dienstag";
      this[3]= "Mittwoch"; this[4]= "Donnerstag"; this[5]= "Freitag";
      this[6]= "Samstag";
}
            
function monthsDE() {
      this[0]="Januar"; this[1]="Februar"; this[2]= "März";
      this[3]="April"; this[4]="Mai"; this[5]= "Juni";
      this[6]="Juli"; this[7]="August"; this[8]= "September";
      this[9]="Oktober"; this[10]="November"; this[11]= "Dezember";
}

var browser = new Browser();

function generateDate(myDate) {
	var genDate = "";
		genDate = days[myDate.getDay()]+", ";
		genDate += myDate.getDate() + " ";
		genDate += months[myDate.getMonth()]+" ";
		if(browser.isIE == true) {
			genDate += myDate.getYear();
		} else {
			genDate += myDate.getFullYear();
		}
		
	return genDate;
}

//date

function DateDefil_affiche(){
	var myDate=new Date(); 
	var result= '';
	if(DateDefil_displayDate == true) {
		result = generateDate(myDate);
	}
	if(DateDefil_displaySeconds == true) {
		//heure
		var h = myDate.getHours(); 
		var mn = myDate.getMinutes();
		if (mn < 10) mn = "0"+mn; 
		var sec = myDate.getSeconds(); 
		if (sec < 10) sec = "0"+sec; 
		result += '<br>'+h+':'+mn+':'+sec;
	}
	document.getElementById('DateDefil_divDateDefil').innerHTML=result;
}