35,942 coins