let inpu = Node.Fs.readFileSync("/dev/stdin", `utf8)
let input = inpu.split("\n");
let tmp = input[1].split(" ");
let a = parseInt(input[0], 10);
let b = parseInt(tmp[0], 10);
let c = parseInt(tmp[1], 10);
let s = input[2];
Js.log(a+b+c);