You just want a random sequence of non-repeating numbers 1 to 10000?