— 12 , & lt;