NGC5713 and NGC5719