( 5072 & gt;