#include<stdio.h>
int main(void){
    char c;
    int cnt[3];
    int ans;
    cnt[0]=0;
    cnt[1]=0;
    cnt[2]=0;
    while(scanf("%c",&c)!=EOF){
        if(c=='\n'){
            break;
        }
        if(c=='1'||c=='2'||c=='3'||c=='5'||c=='7'){
            cnt[0]++;
        }else if(c=='0'||c=='4'||c=='6'||c=='9'){
            cnt[1]++;
        }else{
            cnt[2]++;
        }
    }
    ans=cnt[0]*2+cnt[1]*3+cnt[2]*4+1;
    if(cnt[1]==0 && cnt[2]==0){
        ans=cnt[0]+2;
    }
    printf("%d\n",ans);
    return 0;
}