quote(d, s);
if ((s.length() > 5) && (s.startsWith("<html>"))) { writeRaw(d, s.substring(6)); } else { quote(d, s); }
    public static void write(Device d, String s) throws IOException {        quote(d, s);    }