12,031 x 2 .)