21

d = {}
while(1):
    s = input().strip()
    if(s == 'КОНЕЦ'):
        break
    name, val = s.split('; ')
    d[int(val)] = name
res = {}
for i in list(map(int, input().split())):
    if(i in d):
        res[d[i]] = 1
resstr = ''
for i in sorted(res.keys()):
    resstr += str(i)+', '
print(resstr[:-2])