<!--
function makeArray() {
  var args = makeArray.arguments;
  for (var i = 0; i < args.length; i++) {
    this[i] = args[i];
  }
  this.length = args.length;
}
function fixDate(date) {
  var base = new Date(0);
  var skew = base.getTime();
  if (skew > 0)
    date.setTime(date.getTime() - skew);
  return date;	
}
function getString(date) {
  var days = new makeArray ("Dimanche", "Lundi", "Mardi",
"Mercredi", "Jeudi", "Vendredi", "Samedi");	
  var months = new makeArray("Janvier", "Février",
"Mars", "Avril", "Mai", "Juin", "Juillet", "Août",
"Septembre", "Octobre", "Novembre", "Décembre");
  return days[date.getDay()] + " " + 
 ((date.getDate() < 10) ? "0" + date.getDate() : date.getDate ())+
" " + months[date.getMonth()] + ", " +
date.getFullYear();
// ((date.getYear() < 100) ? "19" : "") + date.getYear();
}
// -->