var floatmenu_int;  
var headerheight = 0;
function floatmenu_ftt() { }
/*
// Float dials to top

	floatmenu=MM_findObj("floattopmenu");
	floatmenuside=MM_findObj("floatsidemenu");
	var floatmenu_wtop;
	var floatmenuclip = 0;
	// Work out the current window scroll position
	if (typeof(document.documentElement.scrollTop) != 'undefined' && document.documentElement.scrollTop != 0) {
		floatmenu_wtop = document.documentElement.scrollTop;
	} else if (typeof(document.body.scrollTop) != 'undefined' && document.body.scrollTop != 0) {
		floatmenu_wtop = document.body.scrollTop;
	} else if (typeof(window.pageYOffset) != 'undefined' && window.pageYOffset != 0) {
		floatmenu_wtop = window.pageYOffset;
	} else {
		floatmenu_wtop = 0;
	}

	// Work out where we are and where we want to be
	floatmenu_panepos = parseInt(floatmenu_getStyle(floatmenu, "top").replace("px",""));
	floatmenu_diff = floatmenu_wtop - floatmenu_panepos;
	//adjust for headeroffset
		floatmenuclip =  (floatmenu_wtop>headerheight)?headerheight:floatmenu_wtop;
		floatmenu_diff -= floatmenuclip;
	// Are we at the top?
	//TODO: this clears and resets its interval on each call! Either use setTimeout() or only clear and reset when we need to
	
	if (floatmenu_diff == 0) { 
			 
		clearInterval(floatmenu_int);
		floatmenu_int = setInterval(floatmenu_ftt,500);
	} else {
		
		// do clipping
		
		// Move up or down?
		if (floatmenu_diff < 0) {
		
			//floatmenu_setStyle(floatmenu,"top",Math.floor(floatmenu_panepos +( floatmenu_diff/4)) + "px");
			floatmenu_setStyle(floatmenu,"top",Math.floor(floatmenu_panepos +( floatmenu_diff)) + "px");
			// if (floatmenuside)floatmenu_setStyle(floatmenuside,"top",Math.floor(floatmenu_panepos +( floatmenu_diff/4)) + "px");
	if (floatmenuside)floatmenu_setStyle(floatmenuside,"top",Math.floor(floatmenu_panepos +( floatmenu_diff)) + "px");
	
		} else {
			//floatmenu_setStyle(floatmenu,"top",Math.ceil(floatmenu_panepos +( floatmenu_diff/4)) + "px");
			floatmenu_setStyle(floatmenu,"top",Math.ceil(floatmenu_panepos +( floatmenu_diff)) + "px");
			 //if (floatmenuside)floatmenu_setStyle(floatmenuside,"top",Math.ceil(floatmenu_panepos +( floatmenu_diff/4)) + "px");
			  if (floatmenuside)floatmenu_setStyle(floatmenuside,"top",Math.ceil(floatmenu_panepos +( floatmenu_diff)) + "px");
		}
			
		 
		clearInterval(floatmenu_int);
		floatmenu_int = setInterval(floatmenu_ftt,10);
	}
}


function floatmenu_getStyle(obj, style) {
	if (typeof obj == "string") { obj=MM_findObj(obj); }
	if (obj != null) {
		var value = obj.style[style];
		if(!value) {
			if(document.defaultView) {
				value = document.defaultView.getComputedStyle(obj, "").getPropertyValue(style);
			} else if(obj.currentStyle) {
				value = obj.currentStyle[style];
			}
		}
		return value;
	}
}

function floatmenu_setStyle(obj, style, value) {
	if (typeof obj == "string") { obj=MM_findObj(obj); }
	if (obj != null) {
		 obj.style[style] = value;
	}
}

function floatmenu_window_width() {
	// supported in Mozilla, Opera, and Safari
	if (window.innerWidth) { return window.innerWidth; }
	// supported in standards mode of IE, but not in any other mode
	if (window.document.documentElement.clientWidth) { return document.documentElement.clientWidth; }
	// supported in IE quirks mode, older versions of IE, and mac IE (anything else).
	return window.document.body.clientWidth;
}

*/