( 5325 & gt;