( 4 , 42o .)