dito kort 10 : 25 ; prlisp.