pr stlpd , 11 a II : 12 pr lisp.;