0000003251;4.12311;5;1