0000003707;4.12311;4;0