if (location.hash.length > 0) {
  if (navigator.appName.substring(0,1) == 'N') {
    eval('document.ids.'+location.hash.substring(1)+'.backgroundColor="#9999CC"');
  } else {
    eval(location.hash.substring(1)+'.style.backgroundColor="9999CC"');
  }
}
function maybeScroll() {
  if (location.hash.length > 0) {
    window.scrollBy(0,-100);
  }
}