007, the 10001st prime