( 15 , 742 .)