( 10714 & gt;