"dokumenter" er et 10-bokstavers substantiv som brukes som synonym for "dokumentasjonsmaterialer". dokumentasjonsmaterialer betyr: Skrevne eller trykte papirer som har formell verdi