Thay chữ số

Cho một số nguyên $a$ gồm $n$ chữ số (không có chữ số $0$ ở đầu). Bạn cũng được cho một dãy chữ số $s$ độ dài $m$.

Với mỗi chữ số trong $s$, bạn có thể chọn một vị trí bất kỳ trong $a$ và thay chữ số ở vị trí đó bằng chữ số này của $s$. Mỗi chữ số của $s$ được dùng nhiều nhất một lần, và bạn không bắt buộc phải dùng hết tất cả các chữ số của $s$.

Hãy thực hiện các phép thay thế sao cho số $a$ thu được có giá trị lớn nhất.

Dữ liệu vào

• Dòng thứ nhất chứa số nguyên dương $a$.
• Dòng thứ hai chứa dãy chữ số $s$ (các chữ số viết liền nhau, không có dấu phân cách).

Dữ liệu ra

• In ra giá trị lớn nhất có thể thu được từ $a$ sau các phép thay thế. Số in ra không được có chữ số $0$ ở đầu.

Ràng buộc

• $1\le n\le {10}^5$ (độ dài của $a$).
• $1\le m\le {10}^5$ (độ dài của $s$).
• $a$ không chứa chữ số $0$ ở đầu.

Ví dụ