if (symbols.containsKey(element.getTagName())) return (short) symbols.getInt(element.getTagName());
if (nameSymbols.containsKey(element.getLocalName())) return (short) nameSymbols.getInt(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;	}