<!--

//  The "refresh" function implementations are identical
//  to our regular "JavaScript-Refresh" example.  The only
//  difference from our JavaScript Refresh example is
//  we do not have a doLoad function that starts our
//  refresh timer (since we use a refresh button).

var sURL = unescape(window.location.pathname);

function refresh()
{
    window.location.href = sURL;
}
//-->

<!--
function refresh()
{
    window.location.replace( sURL );
}
//-->
  
  
<!--
function refresh()
{
    window.location.reload( false );
}
//-->