function main(input) {
input=input.split("\n");
  
var kazu=input[0].split(" ").map((n)=>parseInt(n,10));
var goukei=kazu[0]+kazu[1]+kazu[2];
  
var maxDate=0;
  for(var i=0;i<3;i++){
    maxDate=Math.max(maxDate,kazu[i]);
  }

var kaisuu=parseInt(input[1],10);
console.log(maxDate*2*kaisuu+goukei-maxDate);

}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));
