adding ex_5_12_detab and ex_5_12_entab