( 10424 , & gt;