5871 . x 2)