window.onscroll = function(){

	if (document.getElementById("detail0") != null) {
		document.getElementById("detail0").style.top= document.documentElement.scrollTop+10;
	}
	
	if (document.getElementById("map0")    != null) {
		var max=190;
		if (document.documentElement.scrollTop>max)
			document.getElementById("map0").style.top= document.documentElement.scrollTop;
		else
			document.getElementById("map0").style.top= max;
	}	
}