0000001258;4.24264;4;1