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