4 , 517X3 .)