~Neko~ là một học sinh rất lười nhưng mọi chuyện đã khác từ khi cậu có crush. Crush cậu là một hung thần VOI (Vietnam Olympiad in Informatics), và kế hoạch của ~Neko~ là học Tin thật giỏi để cưa đổ crush.

Qua lời giới thiệu của đội tuyển tin, cậu đã biết đến CLAOJ và tiến hành đăng kí để luyện tập. Tuy nhiên, CLAOJ vừa bị tin tặc ~Capoo~ tấn công và truy cập vào mật khẩu của các người dùng. Admin ~Pusheen~ đã nhanh trí thay đổi điều kiện để tạo mật khẩu. Cụ thể, một mật khẩu sẽ có giá trị bảo mật và giá trị này không bé hơn ~K~ đã cho. Giá trị này được tính như sau:

• Kí tự thường (a,b~ \dots~,z) có giá trị là thứ tự của chữ cái đó trong bảng chữ cái tiếng Anh. Kí tự a có giá trị là ~1~.
• Kí tự in hoa (A,B~ \dots~,Z) có giá trị gấp đôi kí tự thường tương ứng.
• Kí tự số (0,1~ \dots~,9) có giá trị bằng số đó.
• Kí tự đặc biệt (là các kí tự in được, không bao gồm kí tự khoảng trắng và không thuộc ~3~ nhóm kể trên) có giá trị là một giá trị bảo mật cao nhất của các kí tự đứng trước. Nếu ở đầu, kí tự đặc biệt có giá trị là ~0~.

~Neko~ đã có xâu mật khẩu độ dài ~N~ nhưng lại không thể tính được giá trị bảo mật bạn hãy giúp ~Neko~ bước chân vào con đường lập trình nhé!

Dữ liệu vào

Gồm ~2~ dòng

• Dòng thứ nhất là ~2~ số nguyên dương ~N~ ~(N \le 10^5)~ và ~K~ ~(K\le 10^5 \times 26\times 2)~
• Dòng thứ hai là chuỗi mật khẩu độ dài ~N~ gồm các kí tự thuộc ~4~ nhóm trên.

Kết quả ra

Gồm ~2~ dòng

• Dòng thứ nhất là giá trị bảo mật của mật khẩu ~Neko~
• Dòng thứ hai, nếu giá trị bảo mật của ~Neko~ không bé hơn ~K~, xuất ra BAO MAT. Ngược lại, xuất ra KHONG BAO MAT.

Ràng buộc

• Có ~50 \%~ điểm chỉ chứa kí tự thường và kí tự số.
• ~50 \%~ điểm còn lại không ràng buộc gì thêm.

Ví dụ 1

Dữ liệu

5 21
ab945

Kết quả

21
BAO MAT

Giải thích

Giá trị bảo mật là ~1 + 2 + 9 + 4 + 5 = 21 ~.

Ví dụ 2

Dữ liệu

10 150
LdsIuBao<3

Kết quả

133
KHONG BAO MAT

Giải thích

Giá trị bảo mật là ~24 + 4 +19 +18 +21+ 4+ 1+ 15+ 24+ 3=133~. Trong đó, < là một kí tự đặc biệt và có giá trị là ~24~ vì trước nó có L~=12 \times2 =24~ có giá trị cao nhất.