( 10 371 & gt;