931,492 coins