// menu ------------------------------------------------------------------------
var currentObj;

function swapMenuImage(obj, state) {

  var regexp = /\.jpg$/gi;
  var regexp2 = /_o\.jpg$/gi;

  if (state != "") {
    if (state == 2) {
      var loc = obj.src;
      var newloc = loc.replace(regexp, "_o.jpg");
      obj.src = newloc;
    }
    else if (state == 1) {
      var loc = obj.src;
      var newloc = loc.replace(regexp2, ".jpg");
      obj.src = newloc;
    }
    if (currentObj != null) {
      var loc = currentObj.src;
      var newloc = loc.replace(regexp2, ".jpg");
      currentObj.src = newloc;
    }
  }
}
// datum -----------------------------------------------------------------------
function showDatum() {

  var mydate=new Date()
  var year=mydate.getYear()
  if (year < 1000)
    year+=1900
  var day=mydate.getDay()
  var daym=mydate.getDate()
  var month=mydate.getMonth()
  if (daym<10)
    daym="0"+daym
  var dayarray=new Array("Zondag","Maandag","Dinsdag","Woensdag","Donderdag","Vrijdag","Zaterdag")
  var montharray=new Array("januari","februari","maart","april","mei","juni","juli","augustus","september","oktober","november","december")

  document.write("<font color='999999' font weight='bold' font size='1' face='Arial'>" + dayarray[day] + ", " + daym + " " + montharray[month] + " " + year + "</font>")
}