static S loadPageWithUserAgent(S url, S userAgent) ctex {
  URL tURL = new URL(url);
  URLConnection conn = tURL.openConnection();
  conn.setRequestProperty("User-Agent", userAgent);
  loadPage_anonymous = true;
  ret loadPage(conn, tURL);
}