gifwa 1 , 400 , 000 Lisp.