( 6 711 .)