function BeweegMuisOp(txt) {
                  window.status = txt;
                  }

function EraseStatusBar() {
                  window.status="";
                  }

function noenter() {
  return !(window.event && window.event.keyCode == 13); }