public Address getRandomReplicaOtherThan(Address addr)
	{
		int size = this.replica_pool.length;
		Random rand = new Random();
		Address random_addr = null;

		while(true)
		{
			random_addr = replica_pool[rand.nextInt(size)];
			if (! random_addr.equals(addr))
				return random_addr;
		}
	}