if(document.location.href.indexOf(".htm")!=-1) {
	var newUrl = document.location.href.substr(0,parseInt(document.location.href.indexOf(".htm"))) + ".shtml"
	document.location.href = newUrl;
}