迎接仪式

LHX 教主要来 X 市指导 OI 学习工作了。为了迎接教主，在一条道路旁，一群“Orz 教主 er”穿着文化衫站在道路两旁迎接教主，每件文化衫上都印着大字。一旁的 Orzer 依次摆出“欢迎欢迎欢迎欢迎……”的大字，但是领队突然发现，另一旁穿着“教”和“主”字文化衫的 Orzer 却不太和谐。 为了简单描述这个不和谐的队列，我们用 `j` 替代“教”，`z` 替代“主”。而一个 `j` 与 `z` 组成的序列则可以描述当前的队列。为了让教主看得尽量舒服，你必须调整队列，使得 `jz` 子串尽量多。每次调整你可以交换任意位置上的两个人，也就是序列中任意位置上的两个字母。而因为教主马上就来了，时间仅够最多做 $K$ 次调整（当然可以调整不满 $K$ 次），所以这个问题交给了你。

第一行，两个正整数 $N, K$，分别表示序列长度与最多交换次数。 第二行，一个长度为 $N$ 的字符串，字符串仅由字母 `j` 与字母 `z` 组成，描述了这个序列。

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

5 2 
zzzjj

2

**【样例说明】** 第 $1$ 次交换位置 $1$ 上的 `z` 和位置 $4$ 上的 `j`，变为 `jzzzj`； 第 $2$ 次交换位置 $4$ 上的 `z` 和位置 $5$ 上的 `j`，变为 `jzzjz`。 最后的串有 $2$ 个 `jz` 子串。 **【数据规模与约定】** 对于 $10 \%$ 的数据，有 $N \le 10$； 对于 $30 \%$ 的数据，有 $K \le 10$； 对于 $40 \%$ 的数据，有 $N \le 50$； 对于 $100 \%$ 的数据，有 $1 \le N \le 500$，$1 \le K \le 100$。