0000003717;4.12311;4;1