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

//function doLoad()
//{
    // the timeout value should be the same as in the "refresh" meta-tag
//    setTimeout( "refresh()", 5*1000 );
//}
function refresh()
{
    //  This version of the refresh function will cause a new
    //  entry in the visitor's history.  It is provided for
    //  those browsers that only support JavaScript 1.0.
    //
    window.location.href = sURL;
}
