Rename 7 - 10001st prime to 007 - 10001st prime