"inngangskontor" er et 14-bokstavers substantiv som brukes som synonym for "billetthallene". billetthallene betyr: Kontor ved inngangen for billettering eller informasjon