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

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