12 7 & gt;