Fizzydavid在它三岁的时候学会了打字。他每打出一个字母需要1ns，而且从来不会打错。为了达到这样的速度，他不会按字母键之外的键。

Fizzydavid现在希望打出一个字符串 $S$ 。当然他可以选择按照顺序每次打出每一个字母，虽然这样已经是天下第一的速度了，但是他还是希望能够更快一点。于是，他先把字符串 $T$ 放进了剪贴板里，打出 $T$ 并复制到剪贴板不算在打字的时间内。这样，在打字符串S的时候他就可以花1ns的时间粘贴，也就是打出字符串 $T$ 。

Fizzydavid需要你告诉他最快多少ns能够打完字符串 $S$ 。

输入格式

输入第一行包含字符串 $S$ 。输入第二行包含字符串 $T$ 。$S$ 和 $T$ 中只含有小写字母。

输出格式

输出一个整数表示最快的时间，以ns为单位。

样例1

样例输入1

fizzydavid
zz

样例输出1

9

样例2

样例输入2

fiiiizzydaviiiid
ii

样例输出2

12

限制与约定

保证 $1\leq|S|\leq10000$ ，$1\leq|T|\leq1000$ 。

20%的数据满足 $|S|,|T|\leq10$

50%的数据满足 $|S|,|T|\leq1000$

时间限制： 1s

空间限制： 512MB