put nextprime in doc