if (nsSymbols.containsKey(ns)) return (short) nsSymbols.getInt(ns); short id = ++nsMax;
short id = (short) nsSymbols.get(ns); if (id > -1) return id; id = ++nsMax;
	public synchronized short getNSSymbol(String ns) {		if (ns == null || ns.length() == 0) {			return 0;		}		if (nsSymbols.containsKey(ns))			return (short) nsSymbols.getInt(ns);		short id = ++nsMax;		nsSymbols.put(ns, id);		namespaces.put(id, ns);		changed = true;		return id;	}