If all the servers work, why not just use one instead of generating a random number?