10494 x 2 .)