3 ms·

They are often paid with tax money.