private int getGroupPosition(String name, String fnmPrefix)
	/*
	 * Search the hashmap entry for <name>, looking for <fnmPrefix>. Return its
	 * position in the list, or -1.
	 */
	{
		ArrayList groupNames = (ArrayList) gNamesMap.get(name);
		if (groupNames == null) {
			System.out.println("No group names for " + name);
			return -1;
		}

		String nm;
		for (int i = 0; i < groupNames.size(); i++) {
			nm = (String) groupNames.get(i);
			if (nm.equals(fnmPrefix))
				return i; // the posn of <fnmPrefix> in the list of names
		}

		System.out.println("No " + fnmPrefix + " group name found for " + name);
		return -1;
	} // end of getGroupPosition()