//***************/
// add listeners
//***************/
if (window.addEventListener) {		// W3C
	window.addEventListener("load",initCatchExtUrl,false);
} else if (window.attachEvent) {	// Exploder
	window.attachEvent("onload",initCatchExtUrl);
} else {							// Old skool
	window.onload = function() {initCatchExtUrl();}
}
function initCatchExtUrl() { myCatchExtUrl = new CatchExtUrl();}