function linkto(page) {
	window.location=page+".html";
}