<!--
function statbar(txt){
  window.status = txt;}
function leeg(){
  window.status = '';}
function noenter()
{  return !(window.event && window.event.keyCode == 13);}
// -->