var scrolledText;
var mtop;
fromTop=140
function ptamenu_init() {
	if (document.getElementById)
		scrolledText = "document.body.scrollTop";
	else if (document.all)
		scrolledText = "window.pageYOffset";
	else if (document.layers)
		scrolledText = "window.pageYOffset";
	mtop = 0;
	adjust();
}

function adjust() {
	var scrolled = eval(scrolledText);
	var style = getStyle(getObject("ptamenu"));
	var distance = (scrolled - fromTop) >0 ?(scrolled - fromTop):0;	
	//getObject("test").innerHTML = distance - mtop + "," + mtop;
	if ((distance - mtop)*(distance - mtop) < 100) {
		mtop = distance;		
	} else {
		mtop += (distance - mtop) / 3;
	}
	style.marginTop = mtop;
	setTimeout('adjust()',50)
}