open and let ~ 14_2CH_06_40 ~ open and let ~ 23_ISA_45_08 ~