function navigate(loc){
	window.location = loc;
}

function changeptr(){
	document.body.style.cursor = "pointer";
}

function changeptrback(){
	document.body.style.cursor = "default";	
}