<!--
function refresh()
{
    window.location.replace(unescape(window.location.pathname));
}
//-->