4872 . x 4 .)