4 ms·

You're absolutely right. Library budgets are typically a small fraction of government spending I think