/* * 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