How many types of proteins?

millions coded for by 3500ish genes