var input = [];
process.stdin.resume();
process.stdin.setEncoding("utf8");
process.stdin.on('data', function(chunk){
   input = chunk.toString("utf8").split(/\n/g);
});
process.stdin.on('end', function(){
    for (var i = 0; i < input.length; i++) {
        input[i] = input[i].split(/\s/g);
        console.log((parseInt(input[i][0]) + parseInt(input[i][1])).toString().length);
    }
});