13242 x 2 .)