Whose number should be retired?