function stat(msg) {
    if ( msg.length > 0 )
      msg="Jump to \""+msg+"\" page.";
    window.status=msg;
    return true;
  }

function jump(page) {
    url='?file=page&lang=english';
    url=url.replace(/page/, page);
    window.location.href=url;
  }

function isOldNetscape() {
  return ( (navigator.appName=="Netscape") && (navigator.appVersion.substring(0,1)<="4") );
}

function setColor(element, color) {
  if ( !isOldNetscape() ) {
    element.style.backgroundColor=color;
  }
}

function setClass(element, className) {
  if ( !isOldNetscape() ) {
    element.className=className;
  }
}