( 11416 & gt;