// JavaScript Document

	var track_

function event_scroll()
{
	if (typeof(build_right) != "undefined")
	{
		
		
		if (document.documentElement && document.documentElement.scrollTop)
			theTop = document.documentElement.scrollTop;
		else if (document.body)
			theTop =document.body.scrollTop
		else
			theTop = window.pageYOffset;
	
		
		build_right.style.top = (theTop + 40) + "px";

	}

}