( 6141 ) & lt;