( 2072 & gt;