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