and names of minning machines