var js_but = new Array();
var imgformat = ".gif";

// Only the IE needs this, all other browsers use position.relative
function do_staticnavi() {
  if (document.documentElement && document.documentElement.scrollTop)
    document.all.navi.style.top = document.documentElement.scrollTop;
  else
    document.all.navi.style.top = document.body.scrollTop;
}

if (navigator.appName == "Microsoft Internet Explorer") {
  window.onscroll =  do_staticnavi;
}