public void pushName() throws IOException {
        charArray.empty();
        //txtPos = 0;
        //if (srcPos ==0) read(); // there is no c readed; not possible;
        do {
            charArray.append(c);
            next();
        } while (c > ' ' && c != '>' && c != '/' && c != '=' && c != '?');
        //TODO if String.indexOf is faster ">/=?".indexOf(c) == -1)
    }