12 , & gt;