12,394 coins