"brukstider" er et 10-bokstavers substantiv som brukes som synonym for "funksjonstidene". funksjonstidene betyr: Perioder hvor en funksjon eller tjeneste er i bruk