/********************** floatmenu **********************/
var stmnLEFT = 962; 
var stmnGAP1 = 350; 
var stmnGAP2 = 400; 
var stmnBASE = 800; 
var stmnActivateSpeed = 100; 
var stmnScrollSpeed = 8; 

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

		 stmnStartPoint = parseInt(FloatMenu.style.top, 10);
		 stmnEndPoint = document.body.scrollTop + stmnGAP2;
			
		if (stmnEndPoint < stmnGAP1) stmnEndPoint = stmnGAP1;

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

		setTimeout ("RefreshStaticMenu();", stmnRefreshTimer);
}

function InitializeFloatMenu()
{
		FloatMenu.style.top = document.body.scrollTop + stmnBASE;
		RefreshStaticMenu();
		FloatMenu.style.left = stmnLEFT;
}