home > > names and machines for mining