(pr:prn:-(expt 10 8000)1)