F11 Definition of managers.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .