#include <bits/stdc++.h>
int main() {
  int n, k;
  scanf("%d%d", &n, &k);
  int d[2000];
  int i;
  for (i = 0; i <= 1000; ++i) d[i] = 0;
  for (i = 0; i < n; ++i) {
    int a;
    scanf("%d", &a);
    d[a]++;
  }
  int ans = 0, t = 0;
  for (i = 0; t < k;) {
    if (d[i] == 0)
      t++;
    else {
      d[i]--;
      ans += i;
    }
  }
  printf("%d\n", ans);
  return 0;
}
