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