#include <iostream>
#include <stdio.h>
using namespace std;
int main(void) {
        int tulos;
        int x = 0;
        int z = 0;
        scanf("%ix%iz",&x,&z);
        tulos = x*4 + z*5;
        cout << tulos << "\n";
            return 0;
}