function getPage(url) {

	document.location.replace(url+".html");

}