X 1 ) ( 12717)