13,499 coins