"innsjekkingsstasjon" er et 19-bokstavers substantiv som brukes som synonym for "innsjekkingshallene". innsjekkingshallene betyr: Stasjon for registrering ved ankomst