private String[] readEncoding(byte[] d) {
        byte[][] ary = readArray(d, "Encoding", "def");
        String res[] = new String[256];
        for (int i = 0; i < ary.length; i++) {
            if (ary[i] != null) {
                if (ary[i][0] == '/') {
                    res[i] = new String(ary[i]).substring(1);
                } else {
                    res[i] = new String(ary[i]);
                }
            } else {
                res[i] = null;
            }
        }
        return res;
    }