13,357 coins