<!--
function statbar(txt){
  window.status = txt;}
function leeg(){
  window.status = '';}
function noenter()
{  return !(window.event && window.event.keyCode == 13);}
//function doBlink() {
//  var blink = document.all.tags("BLINK")
//  for (var i=0; i < blink.length; i++)
//    blink[i].style.visibility = blink[i].style.visibility == "" ? "hidden" : "" 
//}
//function startBlink() {
//  // Make sure it is IE4
//  if (document.all)
//    setInterval("doBlink()",500)
//}
// -->