function display_datum(lengte)
{

  dagArray = new Array("zondag,","maandag,", "dinsdag,","woensdag,","donderdag,","vrijdag,","zaterdag,");

  maandArray = new Array("januari","februari","maart","april","mei","juni","juli",   "augustus","september","oktober","november","december");

  nu = new Date();

  dagtekst = dagArray[(nu.getDay())];
  dag = nu.getDate();
  maandtekst = maandArray[(nu.getMonth())];
  jaar = nu.getYear();
  jaar4 = ((jaar < 1900) ? (jaar + 1900) : (jaar));

  if (lengte==0) {
    datumweergave = dag + "-" + (nu.getMonth()+1) + "-" + jaar4;
  } else {
    datumweergave = dagtekst + " " + dag + " " + maandtekst + " " + jaar4;
  }

  return(datumweergave);
}