( 3072 & gt;