var x = null;
function init() {
  if (navigator.userAgent.indexOf("Opera") != -1) {
    // ugly downgrading code
    var h = document.getElementById("headers");
    if (h != null) {
      for (i = 0; i < h.children.length; i++) {
        var j = h.children[i];
        if (j.className == "tabblad") {
          j.style.backgroundColor = "#EAEAEA";
        }
      }
    }
  } else if (navigator.appName.indexOf("Microsoft") != -1) {
    var appVersion = navigator.appVersion.split("MSIE");
    if (parseInt(appVersion[1]) >= 6) {
      var e = 0;
      var done = false;
      while (!done && e < document.styleSheets[0].rules.length)
      {
      	if (document.styleSheets[0].rules.item(e).selectorText == ".blauw")
      	{
             document.styleSheets[0].rules.item(e).style.margin = "10px 10px 30px 10px";
             done = true;
      	}
			else
			{
				e++;
			}
      }
    }
  }
  return;
  // code below may be used once to create client-side cgi / direct subpage referencing
  if (top == self) {
    var y = top.location.href;
    if (y.indexOf("?") < 0) {
      top.location.href = "index.html?" + y.substr(y.lastIndexOf("/") + 1, y.length - y.lastIndexOf("/"));
    }
  } else if (top != self) {
    // document.getElementById("News").click();
  }
}
function test(event) {
  if (document.all) {
    // Opera and Internet Explorer need no event parameter
    var elt = event.srcElement;
    if (x == null) {
      x = document.all["News"];
    }
    x.className = 'tabblad';
    elt.className = "stab";
    if (navigator.userAgent.indexOf("Opera") != -1) {
      // Opera 6 does not support borderLeftColor (CSS2) in Javascript
      x.style.backgroundColor = "#EAEAEA";
      elt.style.backgroundColor = "#D0D0D0";
      // Opera 6 does not support iframe src (DOM) in javascript
      document.getElementById("frx").location.href = elt.id + ".html";
    } else {
      document.all["frx"].src = elt.innerHTML + ".html";
    } 
    x = elt;
  } else if (document.getElementsByTagName) {
    // Mozilla, NS6 (DOM) need an event parameter (different event model)
    var elt = event.target;
    // alert(elt.constructor);
    if (elt.tagName == "TD") {
      if (x == null) {
        x = document.getElementById("News");
      }
      if (navigator.userAgent.indexOf("0.9.9) Gecko") != -1) {
        // Mozilla 0.9.9 breaks iframe width upon setting of classname (was OK in 0.9.5)
        // fixed in latest builds (0.9.9+) since 14/04/2002
        x.style.borderColor = "#FFFFFF #000000 #FFFFFF #FFFFFF";
        elt.style.borderColor = "#FFFFFF #000000 #D0D0D0 #FFFFFF";
      }
      else {
        x.className = 'tabblad';
        elt.className = "stab";
      }
      document.getElementById("frx").src = elt.innerHTML + ".html";
      x = elt;
    }
  }
}