4 ; - " 4 6 : 50 prlisp.