( 19 , 702 .)