Redsarg 12 tunnor ; Si !fwergli.tt 7 .lisp.