9 , J0 .)