7,11 & gt;