public Integer getInt(String key)
	{
		Object val = get(key);
		if (val == null)
			return null;
		else if (val instanceof Integer)
			return (Integer)val;
		else 
			return ((Double)val).intValue();
	}