#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;

}