( 5 713 .)