<page_title> Coal mining in the United States </page_title> <section_title> Production </section_title> <table> <cell> 2006 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 13 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2007 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 23 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2008 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 47 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2009 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 36 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2010 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 62 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2011 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 94 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2012 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 117 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> <cell> 2017 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header>  </col_header> </cell> <cell> 97 <col_header> Coal in the US (Million Short Tons) </col_header> <col_header> Net Exports </col_header> </cell> </table>
US net coal exports increased ninefold from 2006 to 2012, peaked at 117 million short tons in 2012 and were 97 million short tons in 2017.