function top() { 
	if (is_nav4up == true)  {
		y = window.pageYOffset;
	}
	else {
		y = document.body.scrollTop;
	}
	return(y);
}