As one of the world's largest producers and exporters of coal, Indonesia exported some 37.5 million tonnes of coal for all uses to global destinations in June, up 14.1% on month or 19.8% on year to touch the highest level so far this year.