( 13 , 742 ).