( 7 ; j)