window.onload = function()
{
  sh_highlightDocument();
}