15,500 coins