var sURL = unescape(window.location.pathname);function refresh() {    window.location.replace( sURL );}