child.setGID(children);
if(!validate) child.setGID(children); if(child.getNodeType() == Node.ELEMENT_NODE) setDocumentElement(children);
	public void appendChild(NodeImpl child) throws DOMException {		++children;		child.setGID(children);		treeLevelOrder[0] = children;	}