Depends on when he sold stock options, how many stock options he had, the details surrounding him leaving and coming back as CEO, and about a million other possible variables.