( 5347 & gt;