#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int main()
{
    char s[100],b[100];
    int n,n1,i=0,j=0,sum=0;
    gets(s);
    n=strlen(s);
    for(i=0;i<n;i++)
    {
        if('0'<=s[i]&&s[i]<='9')
        {
            b[j++]=s[i];
        }
    }
    b[j]='\0';
    n1=strlen(b);
    for(j=0;j<n1;j++)
    {
        sum=sum+b[j]-'0';
        sum=sum*10;
    }
    printf("%d",2*sum/10);
    return 0;
}