There were 10,000 Cryptopunks.