8043 . x 2 .)