13,142 x 3 .)