( 3242 & gt;