private int despaceSet(String string, Set set) {
		set.clear();
		StringTokenizer st = new StringTokenizer(string);
		while (st.hasMoreTokens()) {
			String s = st.nextToken();
			if (s.equals("!"))
				s = "";
			set.add(s);
		}
		return set.size();
	}