( 5267 & gt;