#include <bits/stdc++.h>   using namespace std;   int main() {     int n, h, value, width = 0;     vector<int> v;     cin >> n;     cin >> h;     for (int i = 0; i < n; i++) {       cin >> value;       v.push_back(value);     }     for (int j = 0; j < v.size(); j++) {       if (v[j] > h)         width = width + 2;       else         width = width + 1;     }     cout << width;     return 0;   }   