int index = html.indexOf("<head>") + "<head>".length(); html = html.substring(0, index) + "<TITLE>" + "ss" + "</TITLE>" + html.substring(index);
    void popHTML(String html) {        int index = html.indexOf("<head>") + "<head>".length();        html = html.substring(0, index) +               "<TITLE>" + "ss" + "</TITLE>" +               html.substring(index);        try {            String java_tmp = System.getProperty("java.io.tmpdir").replace('\\', '/');            if (!java_tmp.endsWith("/")) java_tmp += "/";            String file = java_tmp + "output.html";            java.io.DataOutputStream dos = new java.io.DataOutputStream(new java.io.FileOutputStream(file));            dos.writeBytes(html);            dos.flush();            dos.close();            Util.launchRessourceName("iexplore", file);        } catch (Exception e) {            e.printStackTrace();        }    }