"dokumenter" er et 10-bokstavers substantiv som brukes som synonym for "dokumentasjonsmaterialene". dokumentasjonsmaterialene betyr: Skrevne eller trykte papirer som bevis eller informasjon.