function processData(input) {
    //Enter your code here
    
    var inputArr=input.split(" ");
    
    var horizontalCuts=inputArr[0]-1;
    var verticalCuts=inputArr[1]-1;
    
    var totalCuts=horizontalCuts+((horizontalCuts+1)*verticalCuts);
    
    if(horizontalCuts==0)
    {
        totalCuts=verticalCuts;
    }
    if(verticalCuts==0)
    {
        totalCuts=horizontalCuts;
    }
    
    process.stdout.write(totalCuts+"\n");
    
} 

process.stdin.resume();
process.stdin.setEncoding("ascii");
_input = "";
process.stdin.on("data", function (input) {
    _input += input;
});

process.stdin.on("end", function () {
   processData(_input);
});