if (window.addEventListener) {
  window.addEventListener('load', sh_highlightDocument, false);
} else if (window.attachEvent) {
  window.attachEvent('onload', sh_highlightDocument);
} else {
  window.onload = sh_highlightDocument;
}