print(2*sum(map(int,input().split())))