9388 , 3 .)