Well, that's a quite important detail you had omitted. If you start dividing salaries by the number of servers, all kinds of crazy numbers come up.