11,200 coins