( 5 717 .)