sjutton verkmästare och arbetare.