7873 X 2 .)