( 5271 & gt;