// This function writes a formatted date.
// It is being called by javascript-code generated by a list-loop,
// using a PAT date field as input parameter.

function printDutchDate(datestamp)
{  var d = new Date(datestamp);
   var day = d.getDate();
   if (day < 10) day = '0'+ day;
   var month = d.getMonth() + 1;
   if (month < 10) month = '0'+ month;
   var year = d.getFullYear();
   document.write(day +'-'+ month +'-'+ year);
}