( 7- / « 10 .)