input(''.join(set(map(chr,range(128)))-set(*open(__file__))))