add e12.lisp