12383 x 10 .)