3,617 coins