function refresh()
{        
  window.location.href = unescape(window.location.pathname);
}