10 — 5 : 30 prlisp