0000001254;31.257;0;0