( 19 , 716 .)