11693 x 4 .)