static S hjs_reloadWindowOrParent(S url) {
  ret hjavascript("(window.parent ? window.parent : window).location = " + quote(url) + ";");
}