static S hjs_reloadWindowOrParentIn(double seconds) {
  ret hjavascript("setTimeout(function() { (window.parent ? window.parent : window).location.reload(); }, " + toMS(seconds) + ");");
}