9,396 x 4 .)