( 5102 & gt;