function makeArray() {
     for (i = 0; i<makeArray.arguments.length; i++)
         this[i] = makeArray.arguments[i];
 }
 
function getFullYear(d) {
    var y = d.getYear();
    if (y < 1000) {y += 1900};
    return y;
}

var days = new makeArray("Zondag","Maandag","Dinsdag","Woensdag","Donderdag","Vrijdag","Zaterdag");
var months = new makeArray("Januari","Februari","Maart","April","Mei","Juni","Juli","Augustus","September","Oktober","November","December");

function format_time(t) {
   var Day = t.getDay();
   var Date = t.getDate();
   var Month = t.getMonth();
   var Year = getFullYear(t);
   timeString = "";
   timeString += days[Day];
   timeString += " ";
   timeString += Date;
   timeString += " ";
   timeString += months[Month];
   timeString += " ";
   timeString += Year;
   return timeString;
}