// http://www.elated.com/articles/creating-a-javascript-clock/

function updateClock()
{
  var currentTime = new Date();

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

  currentMinutes = (currentMinutes < 10 ? "0" : "") + currentMinutes;
  currentSeconds = (currentSeconds < 10 ? "0" : "") + currentSeconds;

  var currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds;

  document.getElementById("digital_js_clock").firstChild.nodeValue = currentTimeString;
}

function datum()
{
    var vandaag = new Date();
    var maanden = new Array("jan","feb","mrt","apr","mei","jun","jul","aug","sep","okt","nov","dec");
    var dagen   = new Array("zo","ma","di","wo","do","vr","za");
    
    var datumString =       dagen[vandaag.getDay()] + 
                      " " + vandaag.getDate() + 
                      " " + maanden[vandaag.getMonth()] + 
                      " " + vandaag.getFullYear();
                      
  return datumString;                     
}