CF145A Lucky Conversion

Petya 非常喜欢幸运数字。众所周知，幸运数字是指其十进制表示只包含幸运数字 $4$ 和 $7$ 的正整数。例如，$47$、$744$、$4$ 都是幸运数字，而 $5$、$17$、$467$ 则不是。 Petya 有两个长度相等的字符串 $a$ 和 $b$，这两个字符串仅包含幸运数字。Petya 可以执行两类操作： - 将字符串 $a$ 中的任意一位数字替换为它的对立数（即，将 $4$ 替换为 $7$，或将 $7$ 替换为 $4$）； - 交换字符串 $a$ 中任意两个数字的位置。 Petya 想知道，最少需要多少次操作，才能将字符串 $a$ 变为字符串 $b$。请帮助他解决这个问题。

第一行和第二行分别表示字符串 $a$ 和 $b$。字符串 $a$ 和 $b$ 长度相等，仅由幸运数字组成。字符串非空，长度不超过 $10^5$。

输出一个整数，表示将字符串 $a$ 变为字符串 $b$ 至少需要的操作次数。

在第一个样例中，只需要交换第一个和第二个数字即可。 在第二个样例中，应将第二个数字替换为它的对立数。 在第三个样例中，应将所有三位数字都替换为它们的对立数。 由 ChatGPT 5 翻译