AX1X's hcf