12 11 ) & gt;