( 13 , 742 .)