13,800 coins