3,539 coins