<!-- set_next_url.js
my_href = document.location.href;
function loadnext() { document.location.replace( my_href ); }
function set_next_url( next_url , delay_milliseconds) { 
   my_href=next_url;
   window.setTimeout("loadnext()",delay_milliseconds); 
}
// -->