( 5 , 719 .)