2:25 4 2 : 50 prlisp.