var page = document.URL;
var replace = /.html{0,1}/gi;
page = page.replace(replace, ".php");


// some logic to deal with known directory name changes
// eresources
var directory_replace = /\/eresources\//gi;
page = page.replace(directory_replace, "/resources/");
// useraids
var directory_replace = /\/useraids\//gi;
page = page.replace(directory_replace, "/services/tutorials/");


var replace2 = /http:\/\/www\.mcg\.edu\/library/gi;
page = page.replace(replace2, "http://www.lib.mcg.edu");
page = page.toLowerCase(page);
location.replace(page);