window.onload = init;

function init() { hilite_anchor() }

function hilite_anchor() {
  var o, h = document.location.hash;
  if (h) {
    h = h.substr(1);
    o = document.getElementById(h);
    if (o) o.className += ' itemhilited';
    }
}