<!--
  var fixed=null;
  function hilite(obj){
    if(!fixed){obj.style.background="lightsteelblue";}
  }
  function lolite(obj){
    if(!fixed){obj.style.background="white";}
  }
  function fix(obj){
    fixed=obj;
  }
//-->