added e12Pretty.spl