function highlight(key) {
 var key = key.split('%');
 for (var i=0; i<key.length; i++) {
  var rng = document.body.createTextRange();
  while (rng.findText(key[i]))
  rng.pasteHTML(rng.text.fontcolor('blue'));
  //rng.pasteHTML('<div style="border:1 solid red;display:inline"><a href="#" title='+ rng.text +'>' + rng.text + '</a></div>');
 }
}