var STATICMENU = document.getElementById("floating_right");
	var stmnScrollSpeed = 1;
	var stmnTimer;

	function RefreshStaticMenu()
	{

		var stmnStartPoint = parseInt(STATICMENU.style.top, 10);
		var stmnEndPoint = parseInt(document.body.scrollTop, 10);
		
		var stmnRefreshTimer = 1;
		
		if ( stmnStartPoint != stmnEndPoint ) {
				stmnScrollAmount = Math.ceil( Math.abs( stmnEndPoint - stmnStartPoint ) / 17 );
				STATICMENU.style.top = parseInt(STATICMENU.style.top, 10) + ( ( stmnEndPoint<stmnStartPoint ) ? -stmnScrollAmount : stmnScrollAmount ) + "px";
				stmnRefreshTimer = stmnScrollSpeed;
		}

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

	function InitializeStaticMenu()
	{
			STATICMENU.style.top = document.documentElement.scrollTop + "px";
			RefreshStaticMenu();
	}
	InitializeStaticMenu();