var stmnLEFT = 930;
var stmnGAP1 = 0;
var stmnGAP2 = 420;
var stmnBASE = 5;
var stmnActivateSpeed = 0;
var stmnScrollSpeed = 0;

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.top = document.body.scrollTop + stmnBASE;
RefreshStaticMenu();

STATICMENU.style.left = stmnLEFT;
}