So that number includes (and is almost certainly dominated by) the cost of their office space.