12 , 13 * X2 .)