symbols.put(element.getTagName(), id); names.put(id, element.getTagName());
nameSymbols.put(element.getLocalName(), id); names.put(id, element.getLocalName());
	public synchronized short getSymbol(Element element) {		if (symbols.containsKey(element.getTagName()))			return (short) symbols.getInt(element.getTagName());		short id = ++max;		symbols.put(element.getTagName(), id);		names.put(id, element.getTagName());		changed = true;		return id;	}