5071 ) ( 5719 .)