function reroute(){
var pathstring=location.pathname.toString();
if (pathstring=="/"){pathstring+="index.html"};
var pathlength=(pathstring.length)-5;
var pathend=".html", addin="-ie";
var pathstart=pathstring.substr(0,pathlength);
var newpath=pathstart+addin+pathend;
var checkpoint=pathlength-3;
var pathcut=pathstring.substr(0,checkpoint);
var reroute=pathcut+pathend;
var cutout=pathstring.substring(checkpoint,pathlength);
if (cutout=="-ie"&&browser!=="Internet Explorer"||cutout=="-ie"&&browser=="Internet Explorer"&&version>=8) {location.replace(reroute)} else   //{alert("You should be rerouted to:\n"+reroute)} else
//alert("The alternate file path is:\n"+newpath); //
	location.replace(newpath);
}