0000000517;15.2643;6;0