^rcmiincrntiou6pri6 : for hclt4t