priset , 3 rdr , ( 15lisp.