题目描述

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$。