
function jumpto(id, off){
	if((obj = document.getElementById(id)) && obj != null){
		window.scrollTo(0, obj.offsetTop + off);
	} else {
		alert("object not found " + id);
	}
}

function gotoTop() {
	window.scrollTo(0,128);
}
