12,540 coins