public IndexCollection(IndexCollection val) {
			this.AddRange(val);
		}
		public void AddRange(IndexCollection val) {
			for (int i = 0; i < val.Count; i++)
			{
				this.Add(val[i]);
			}
		}
			public IndexCollectionEnumerator(IndexCollection mappings)
			{
			this.temp = ((IEnumerable)(mappings));
			this.baseEnumerator = temp.GetEnumerator();
			}