( 9711 & gt;