try {

	var s0 = String(document.location);
	s0.toLowerCase();
	if(s0.indexOf(".html") > -1) { 
		s0 = s0.replace(".html", ".asp");
		if(s0.indexOf("index") > -1) s0 = s0.replace("index.asp", "default.asp");
		document.location = s0;
	}
} catch (e) {
	document.location = s0;
}
