<!--
function locationchange(url){
	location.href = url;
}// -->