( 5089 & lt;