7000 t : r 45 , ooo lisp 4 , 5oo t : r 7 , 000 t :r