X 1 ) ( 12535)