process.stdin.setEncoding('ascii');

var input = "";
var input_array = "";

process.stdin.on('data', function (data) {
    input += data;
});

process.stdin.on('end', function () {
    input_array = input.split("\n");
    var nLine = 0;

    while(nLine < input_array.length){
        var line = input_array[nLine++].trim();
        if(line === ''){
            continue;
        }
        var input_arrays = line.split(' ');
        var A=input_arrays[0];
        var da=input_arrays[1];
         var B=input_arrays[2];       
         var db=input_arrays[3];
        
        function sum(A,da){
            A=A.toString();
            da=da.toString();
            var len1=da.length;
            var len=A.length;
            var sum='';
           for(var i=0;i<len;i++)
            {
               if(A.substr(i,len1)===da)
              { sum+=da;

              }
            }

            return sum;

        }
        

          
        console.log(parseInt(sum(A,da))+parseInt(sum(B,db)));

 });