8137 x 3 .)