0000004259;16.0312;6;0