function Main(input) {
    // input????????????????????\??????????????????????????????????????§?????????????????? input.split("\n") ????????§???????????????

    var data = input.split("\n")
    
    var first_line = data[0].split(" ")

    console.log((parseInt(first_line[0])+parseInt(first_line[1]))*2);
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));