7 and all the men were, as it were, twelve.