6,539 coins