9,843,975 coins