They don't have 80k programmers. That's total staff