LHX 教主要来 X 市指导 OI 学习工作了。为了迎接教主，在一条道路旁，一群“Orz 教主 er”穿着文化衫站在道路两旁迎接教主，每件文化衫上都印着大字。一旁的 Orzer 依次摆出“欢迎欢迎欢迎欢迎……”的大字，但是领队突然发现，另一旁穿着“教”和“主”字文化衫的 Orzer 却不太和谐。

为了简单描述这个不和谐的队列，我们用 j 替代“教”，z 替代“主”。而一个 j 与 z 组成的序列则可以描述当前的队列。为了让教主看得尽量舒服，你必须调整队列，使得 jz 子串尽量多。每次调整你可以交换任意位置上的两个人，也就是序列中任意位置上的两个字母。而因为教主马上就来了，时间仅够最多做 K 次调整（当然可以调整不满 K 次），所以这个问题交给了你。

第一行，两个正整数 N, K，分别表示序列长度与最多交换次数。

第二行，一个长度为 N 的字符串，字符串仅由字母 j 与字母 z 组成，描述了这个序列。

一个非负整数，为调整最多 K 次后最后最多能出现多少个 jz 子串。

【样例说明】

第 1 次交换位置 1 上的 z 和位置 4 上的 j，变为 jzzzj；

第 2 次交换位置 4 上的 z 和位置 5 上的 j，变为 jzzjz。

最后的串有 2 个 jz 子串。

对于 100 \% 的数据，有 1 \le N \le 500，1 \le K \le 100。

luogu