( 9495 & gt;