ä 7 : 25 prlisp.