static void makeSpeechCereproc(S text, S voice, File destMp3) ctex {

    S format = "mp3";

    S post = "<speakExtended key='p86ffzyal3tvgqfr'><voice>" + htmlencode(voice) + "</voice><text>" + /*htmlencode*/(text) + "</text><audioFormat>" + format + "</audioFormat>\n" +

"</speakExtended>";

    S url = "https://www.cereproc.com/livedemo.php";

    URL _url = new URL(url);

    URLConnection conn = _url.openConnection();

    conn.setRequestProperty("Content-Type", "text/plain;charset=UTF-8");

    conn.setRequestProperty("Accept", "*/*");

    conn.setRequestProperty("Accept-Encoding", "gzip, deflate");

    conn.setRequestProperty("Accept-Language", "en-US,en;q=0.8,de;q=0.6");

    conn.setRequestProperty("Cookie", "has_js=1; Drupal.visitor.liveDemo=p86ffzyal3tvgqfr; _ga=GA1.2.1406621623.1444122980; _gat=1");

    conn.setRequestProperty("Origin", "https://www.cereproc.com");

    conn.setRequestProperty("Referer", "https://www.cereproc.com/");

    conn.setRequestProperty("User-Agent", "Mozilla/5.0 (X11; Linux i686) AppleWebKit/537.36 (KHTML, like Gecko) Ubuntu Chromium/44.0.2403.89 Chrome/44.0.2403.89 Safari/537.36");

    conn.setDoOutput(true);

    OutputStreamWriter writer = new OutputStreamWriter(conn.getOutputStream());

    writer.write(post);

    writer.flush();

    S encoding = conn.getContentEncoding();

    //print("Encoding: " + encoding);

    S contentType = conn.getContentType();

    //print("Content type: " + contentType);

    byte[] response = loadBinaryPage(conn);

    //print("Bytes read: " + response.length);

    if ("gzip".equals(encoding))

      response = gunzipBinaryData(response);

    //print("Bytes unpacked: " + response.length);

    S s = new String(response, "UTF-8");

    //print(s);

    S oggUrl = null;

    L<S> tok = htmlcoarsetok(s);

    for (int i = 1; i < tok.size(); i += 2)

      if (isTag(tok.get(i), "url")) {

        oggUrl = tok.get(i+1);

        break;

      }

    if (oggUrl == null) fail("No sound URL found");

    byte[] ogg = loadBinaryPage(oggUrl);

    saveBinaryFile(destMp3, ogg);

    //print("Saved: " + destMp3.getAbsolutePath() + " (" + ogg.length + " bytes)");

  }