13 And king Solomon chose workmen (out) of all Israel; and the sum was thirty thousand of men.