( 16023 & lt;