prog: insert_EI