<!--
//  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).

function xfresh(){
window.location.reload();
}

var sURL = unescape(window.location.pathname);

//JavaScript1.0
<!--
function refresh()
{
    window.location.href = sURL;
}
//-->

//JavaScript1.1
<!--
function refresh()
{
    window.location.replace( sURL );
}
//-->

//JavaScript1.2
<!--
function refresh()
{
    window.location.reload( false );
}
//-->