print("".join(sorted(list(input().strip()) + list(input().strip()))))