, 7 & gt;