<!--
function ir(theURL) {
  window.open(theURL);
}
function ov(n) {id=('f'+n)
                eval("document.all['"+id+"'].style.background='#efefef'"); }
function ou(n) { id=('f'+n)
                eval("document.all['"+id+"'].style.background='#ffffff'"); } 
function be(x){window.status=x;return true;}
function b2(){window.status='';}
//-->