char*s="02210313074020029000033739";v;main(c){for(;read(0,&c,1);)v=c-10?v+s[c-97]-47:!printf("%d\n",v);}