( 4 , 9d0 .)