#include<bits/stdc++.h>
using namespace std;
#define Davidtungtungtungsahur int
#define Davidick for
#define David cin
signed main() {
Davidtungtungtungsahur n, k;
David >> n >> k;
vector<Davidtungtungtungsahur> h(n);
Davidick (Davidtungtungtungsahur i = 0;i < n;i++) {
David >> h[i];
}
Davidtungtungtungsahur Davidog = 0;
Davidick (Davidtungtungtungsahur i : h){
if (i <= k) Davidog += 1;
else Davidog += 2;
}
cout << Davidog << endl;
return 0;
}