7Krokods

유명한 프로그래머 인플루언서 Krokod는 유튜브 채널에 올릴 영상을 찍지 않을 때면 친구 Paula와 보드게임을 한다. 그는 7Krokods 게임을 하고 싶어 하지만 Paula는 복잡한 게임을 좋아하지 않는다. 그래서 Krokod는 초록 카드와 악어 카드만 사용하기로 했다.

Paula는 초록 카드 $n$장을 가지고 있으며, 각 카드에는 d, k, o, r 중 하나의 글자가 적혀 있다. Paula의 총점은 다음 두 요소의 합으로 정해진다.

• 글자마다, 그 글자가 적힌 카드 수의 제곱만큼 점수를 얻는다. 예를 들어 k가 적힌 카드가 $6$장이면 $36$점을 얻는다.
• 카드로 만들 수 있는 단어 krokod마다 $7$점을 추가로 얻는다.

첫 번째 예제의 그림.

Paula는 d가 $2$장($2 \times 2 = 4$점), k가 $6$장($6 \times 6 = 36$점), o가 $4$장($4 \times 4 = 16$점), r이 $3$장($3 \times 3 = 9$점) 있다. krokod 단어는 $2$번 만들 수 있으므로 $7 \times 2 = 14$점을 얻는다. 총점은 $79$점이다. ($4 + 36 + 16 + 9 + 14 = 79$)

Paula는 악어 카드도 $m$장 가지고 있다. 악어 카드 각각을 원하는 글자가 적힌 초록 카드로 바꿀 수 있다. Paula는 점수가 최대가 되도록 바꾼다.

Paula가 카드로 얻을 수 있는 최대 점수를 구하시오.

첫 줄에 정수 $n$과 $m$이 주어진다($0 \le n \le 100$, $0 \le m \le 10$). 각각 초록 카드의 수와 악어 카드의 수이다.

둘째 줄에는 길이 $n$의 문자열이 주어진다. $i$번째 문자는 $i$번째 초록 카드에 적힌 글자이다. 문자열은 d, k, o, r 문자로만 이루어져 있다.

한 줄에 Paula가 얻을 수 있는 최대 점수를 출력한다.

첫 번째 예제 설명: 문제의 그림을 참고하라.

두 번째 예제 설명: 최대 점수를 얻으려면 Paula는 악어 카드를 k가 적힌 초록 카드로 바꿀 수 있다.