d=set('123456789')-set(input().split()) print(*d if d else 10)