function RefreshStaticMenu()
{
		var stmnStartPoint, stmnEndPoint, stmnRefreshTimer;

		stmnStartPoint = parseInt(document.getElementById("FloatMenu").style.top, 10);
		var top = document.documentElement.scrollTop ? document.documentElement.scrollTop : document.body.scrollTop; 
		stmnEndPoint = top + stmnGAP2;
		if (stmnEndPoint < stmnGAP1) stmnEndPoint = stmnGAP1;

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

function InitializeFloatMenu()
{
		var top = document.documentElement.scrollTop ? document.documentElement.scrollTop : document.body.scrollTop; 
		document.getElementById("FloatMenu").style.top = top + stmnBASE + "px";
		RefreshStaticMenu();
		document.getElementById("FloatMenu").style.left = stmnLEFT + "px";
}