The third cranial nerve