Anyway, this seems to be rather academical discussion, as in reality, there should be no more than 10 servers listed, as already written above.