( 13 , 719 .)