3,947 coins