sS js_reloadPage() {
  ret "window.location.reload(false);";
}