13,499,000 coins