4987 . x 8 .)