( 9 , 742 .)