List the employee numbers of all the managers based on the definition that a manager is an employee whose number appears in the mgr column of another employee. DISTINCT is required here.