Update pr071.clj