while (++nextNode < document.size && document.next[nextNode] > nodeNumber) {
while (++nextNode < document.size) {
	public NodeList getElementsByTagName(String name) {		NodeListImpl nl = new NodeListImpl();		short level = (short)(document.treeLevel[nodeNumber] + 1);		int nextNode = nodeNumber;		while (++nextNode < document.size && document.next[nextNode] > nodeNumber) {			if (document.nodeKind[nextNode] == Node.ELEMENT_NODE) {    			QName qn = (QName) document.namePool.get(document.nodeName[nextNode]);    			if(qn.toString().equals(name))    				nl.add(document.getNode(nextNode));    		}		}		return nl;	}