LOCAL pv : SET OF product_definition_formation := [];END_LOCAL;REPEAT i := 1 TO HIINDEX(input) BY 1; pv := pv + input[i]\Product_view_definition.defined_version; END_REPEAT;RETURN (pv);