int12_set