145,519 coins