sS duckDuckGo_raw(S query) {
  sleepSeconds(1);
  ret loadPageWithUserAgent(duckDuckGo_url(query), "Mozilla/5.0 (Windows NT 6.1; WOW64; rv:40.0) Gecko/20100101 Firefox/40.1");
}