/* FILE ARCHIVED ON 2:31:19 Jan 9, 2009 AND RETRIEVED FROM THE AN OPENWAYBACK INSTANCE ON 13:29:11 Jul 25, 2024. JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE. ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. SECTION 108(a)(3)). */ /* * support for web page timeouts and redirects: */ var timeout_url = ""; function timeoutRedirect() { if (timeout_url == "") timout_url = "/"; if( navigator.appVersion.charAt( 0 ) < '3' ) location = timeout_url; else location.replace( timeout_url ); return false; } var timer = null; function startTimeout(time, url) { if( timer != null ) clearTimeout(timer); timeout_url = url; timer = setTimeout('timeoutRedirect()', time); } /* * load a new page when the user selects something in a