9673 , x 1 .)