var menu;
var theTop = 8;
var old = theTop;

function movemenu()
{
    // Check browser type and set pos to the top of the viewable window
    if (window.innerHeight)
        pos = window.pageYOffset
    else if (document.documentElement && document.documentElement.scrollTop)
        pos = document.documentElement.scrollTop
    else if (document.body)
        pos = document.body.scrollTop

    if (pos < theTop) pos = theTop;
    else pos += 8;

    // Move PageMenu to the top of the viewable window
    if (pos == old)
        menu.style.top = pos + "px";
    old = pos;
    temp = setTimeout('movemenu()',500);
}

function getObj(name)
{
  if (document.getElementById)
  {
    this.obj = document.getElementById(name);
    this.style = document.getElementById(name).style;
  }
  else if (document.all)
  {
    this.obj = document.all[name];
    this.style = document.all[name].style;
  }
  else if (document.layers)
  {
    this.obj = document.layers[name];
    this.style = document.layers[name];
  }
}