var stmnLEFT = 890; 
  var stmnGAP1 = 0; 
  var stmnGAP2 = 180; 
  var stmnBASE = 10; 
  var stmnActivateSpeed = 500; 
  var stmnScrollSpeed = 10;

  var stmnLEFTTop = 810; 
  var stmnGAP2Top = 530; 
  var stmnActivateSpeedTop = 50; 
  var stmnScrollSpeedTop = 1; 
  var stmnTimer;

  function RefreshStaticMenu() {
    var stmnStartPoint, stmnEndPoint, stmnRefreshTimer;
    stmnStartPoint = parseInt(STATICMENU.style.top, 10);
    stmnEndPoint = document.body.scrollTop + stmnGAP2;
    if (stmnEndPoint < stmnGAP1) { stmnEndPoint = stmnGAP1; }

    stmnRefreshTimer = stmnActivateSpeed;
    if ( stmnStartPoint != stmnEndPoint ) {
      stmnScrollAmount = Math.ceil( Math.abs( stmnEndPoint - stmnStartPoint ) / 15 );
      STATICMENU.style.top = parseInt(STATICMENU.style.top, 10) + ( ( stmnEndPoint<stmnStartPoint ) ? -stmnScrollAmount : stmnScrollAmount );
      stmnRefreshTimer = stmnScrollSpeed;
    }
    stmnTimer = setTimeout ("RefreshStaticMenu();", stmnRefreshTimer);
  }

  function InitializeStaticMenu() {
    STATICMENU.style.left = stmnLEFT;
    STATICMENU.style.top = document.body.scrollTop + stmnBASE;

    RefreshStaticMenu();
  }

  function StartStaticMenu() {
    STATICMENU.style.left = stmnLEFT;
    STATICMENU.style.top = stmnGAP2;

    RefreshStaticMenu();
  }