13147 x 2 .)