12 , 647x1 .)