/**
 * Window scrolling functionality
 *
 */
addEvent(window, "load", initScroller);
var gFloater = null;
var gBody = null
function initScroller() {
	window.setInterval("doScroll();", 300);
	gFloater = document.getElementById("rightFloatContainer");
	setGbody();
}

function setGbody() {
	if (document.documentElement) {
		gBody = document.documentElement;
	} else if (document.body) {
		gBody = document.body;
	} else {
		gBody = document.getElementsByTagName("BODY")[0];
	}
}

function doScroll() {
	if (!gFloater) {
		return;
	}
	if (self.pageYOffset) {
	  scrollTop = self.pageYOffset;
	} else {
	  scrollTop = gBody.scrollTop;
	}
	gFloater.style.top = (scrollTop+70)+ "px";
}