Cho tuổi cha, tuổi con hiện nay. Hỏi sau bao nhiêu năm nữa tuổi cha gấp đôi tuổi con.

Input

ghi 2 số nguyên dương là tuổi cha và tuổi con

Output

số năm thỏa đề bài.

Ví dụ:

Input:

40
4

Output:

32

Giải thích:

sau 32 năm tuổi cha là 40 + 32 = 72; tuổi con là 4 + 32 = 36

72 gấp đôi 36