19,723 coins