The coal mining industry is an important employer. The mining industry as a whole employed a total of 535 457 individuals at the end of June 2012. The coal mining industry was the third largest employer, employing 91 605 individuals (17% of the total mining workforce).