What district is Katniss Everdeen from in The Hunger Games?

Katniss Everdeen is from district 12, which is the coal mining district.