It's non-deterministic, but should be pretty close to 1000.