How many episodes of “Magnum P.I.” were made?