function ir(theURL) {
  window.open(theURL);}
function be(x){window.status=x;return true;}
function b2(){window.status='';}