12 , 335x2 .)