35,938,540 coins