19,935 coins