( 9514 & gt;