25678 x 1 .)