static S hrefresh(S target) {
  ret hrefresh(0, target);
}

static S hrefresh(int seconds, S target) {
  ret tag("meta", "", "http-equiv", "refresh", "content", seconds + "; url=" + target);
}