#include<stdio.h>

int main(void){
    
    printf("%d", 3 * 7 + 2 * 2 + 4 + 1);
    return 0;
}