0000004258;17.1172;6;0