( 9571 & gt;