( 7525 & gt;