15,200 coins