// JavaScript Document
     var oldcl=null;
     function hi(what) {
        oldcl=what.className;
        what.className+=" highlighted";
        return false;
     }

     function lo(what) {
        what.className=oldcl;
        return false;
     }