0000001251;8.48528;4;0