window.location.replace(location.href.replace(/\.htm$/,".php"));