sS hjs_urlencode() {
  ret hjavascript([[
    function urlencode(s) {
      return encodeURIComponent(s).replace(/%20/g, "+");
    }
  ]]);
}