547,493 coins