HiI'm trying to establish how many companies make up the DJ Coal Index, and can only find two... Arch Coal and Massey Energy... Would this be right? Two seems like a pretty small number to create an index...Cheers