They also recovered $3 billion by selling the set top box business.