They contacted the station staff but the man had left the area and gone out through the ticket barrier.

My mother was a Japanese National Railways station attendant from 1971 until 1987.

I didn't know which to take. I looked for a station attendant but didn't find one.