25842 x 2 .)