4 12 , & gt;