题目描述

有一天，tbh 正在创作阴乐。为了分析自己演奏的不足，他把原曲和自己的演奏记录变成了两个字符串 $s1$ 和 $s2$（均由 $0 \sim 9$ 的数字组成），然后找出自己演奏的正确数 $crt$。可是 tbh 演奏的曲目实在是太长了，所以有时中间会多几个或少几个音。

同时 tbh 有 $k$ 点兴趣度，每一点兴趣度可以更改、增加或减少一次他的演奏记录的一个字符。因为 tbh 对 Beep() 情有独钟，所以他会把所有的兴趣度都用了。问 tbh 最后有几个音是正确的（正确的字符中，位置可能不相同，但是顺序一定相同）。

不过 tbh 忙着与 Beep() 定亲，没时间来做这个程序，于是就把这个任务交给了你。

输入格式

第一行为字符串 $s1$，表示原曲节奏。

第二行为字符串 $s2$，表示 tbh 的节奏。

第三行为整数 $k$，表示 tbh 的兴趣度。

输出格式

一行，为 tbh 用完所有兴趣度后有几个音是正确的。

样例

1222
2221
3

4

1222
2221
2

4

1423142314235323
11336634433221
1

8

样例解释

样例 $1$

可以将 $2221$ 先将 $1$ 改为 $2$，在去掉它，再在开头插入 $1$，可以得到最多的正确音符。

样例 $2$

可以将 $2221$ 先去掉 $1$，再在开头插入 $1$，可以得到最多的正确音符。

数据范围

对于 $100\%$ 的数据，$1 \le |s1|,|s2| \le 1000,0 \le k \le 10$。