pr 8 x / 2 kilo = 1lisp.