Prace wykończeniowe w nowym domu Bajtazara dobiegają końca. Pozostało tylko wkręcić po jednej żarówce w każdym z $n$ pokoi. Dla każdego pokoju ustalił minimalną moc żarówki, która dostatecznie dobrze oświetli ten pokój.
Bajtazar kupił $n$ żarówek, lecz teraz zauważył, że nie spełniają one do końca jego oczekiwań. Być może nie jest możliwe dobre doświetlenie wszystkich pokoi, a być może niektóre żarówki niepotrzebnie mają tak dużą moc. Bajtazar postanowił więc wybrać się do sklepu i wymienić niektóre żarówki, tak aby móc wystarczająco oświetlić wszystkie pomieszczenia, a jednocześnie jak najbardziej ograniczyć łączną moc żarówek. Sklep dysponuje żarówkami o dowolnych dodatnich mocach. Plecak Bajtazar pozwala zabrać na wymianę co najwyżej $k$ żarówek - jest to maksymalna liczba żarówek, które gotów jest wymienić.
Pomóż Bajtazarowi wybrać, które żarówki należy wymienić na inne, tak aby wszystkie pokoje były wystarczająco oświetlone i jednocześnie by maksymalnie ograniczyć łączną moc żarówek.
Input Format
W pierwszym wierszu wejścia znajdują się dwie liczby całkowite $n$ i $k$ ($1 \le k \le n \le 500\,000$), oznaczające odpowiednio liczbę pokoi (jest to jednocześnie liczba żarówek) oraz liczbę żarówek, które można zmieścić w plecaku Bajtazara. Pokoje są ponumerowane od 1 do $n$. W drugim wierszu wejścia znajduje się $n$ liczb całkowitych $p_{1}$, $p_{2}$, ..., $p_{n}$ ($1 \le p_{i} \le 10^{9}$) oznaczających moce żarówek, które aktualnie posiada Bajtazar. W trzecim wierszu wejścia znajduje się $n$ liczb całkowitych $w_{1}$, $w_{2}$, ..., $w_{n}$ ($1 \le w_{i} \le 10^{9}$) oznaczających wymagania dotyczące oświetlenia w kolejnych pokojach - w pokoju $i$ należy wkręcić żarówkę o mocy co najmniej $w_{i}$.
Output Format
Jeśli nie da się tak wymienić co najwyżej $k$ żarówek, by wszystkie pokoje były dostatecznie oświetlone, na wyjście należy wypisać NIE
. W przeciwnym wypadku należy wypisać jedną liczbę całkowitą, oznaczająca minimalną sumaryczną moc wszystkich żarówek użytych do oświetlenia domu po wymianie co najwyżej $k$ żarówek.
Examples
Input
6 2 12 1 7 5 2 10 1 4 11 4 7 5
Output
33