7,457 coins