<!--    
function highlight(face,field_color,text_color){
      face.style.backgroundColor=field_color;
      face.style.color=text_color;
    }
//-->