( 80 & gt;