( 5214 & gt;