( 10132 & gt;