function scroll()
{
  var s, t;
  
  o = document.getElementById("Menu");
  s = document.body.scrollTop + "";
  
  if( o == null ) return;
  
  o.style.top = s;
  
  setTimeout("scroll();", 1);
}


function togglemenu()
{
  o = document.getElementById("MenuToggle");
  t = document.getElementById("MenuInner");
  
  if( t.style.display == 'inline' ) {
    t.style.display = 'none';
    o.value = 'show';
  } else  {
    t.style.display = 'inline';
    o.value = 'hide';
  }
}