function getanchor(url, anchorname){
	location.href = url + "#" + anchorname;
}