Google uses fewer servers than we thought