function highlight(sId)
  {
   var myElement = document.getElementById(sId);
   if (window.getSelection) {
     var selection = window.getSelection();
     if (selection.setBaseAndExtent) { /* for Safari */
       selection.setBaseAndExtent(myElement, 0, myElement, 1);
     } else { /* for FF, Opera */
       var range = document.createRange();
       range.selectNodeContents(myElement);
       selection.removeAllRanges();
       selection.addRange(range);
     }
   } else { /* for IE */ ;
     var range = document.body.createTextRange();
     range.moveToElementText(myElement);
     range.select();
   }
  }