lin 6 a 7 rdrlisp.