8713 x 2 .)