10713 x 10 .)