An có ~4~ que tính có màu lần lượt là xanh, đỏ, tím và vàng, độ dài của các que tính lần lượt là ~4~ số tự nhiên ~a~, ~b~, ~c~, ~d~.

Em hãy tính xem An có thể ghép thành bao nhiêu tam giác khác nhau từ ~4~ que tính đang có. Hai tam giác khác nhau khi có ít nhất một que tính có màu khác nhau.

Dữ liệu

• Nhập vào ~4~ số ~a~, ~b~, ~c~, ~d~, ~(1 \le a, b, c, d \le 1000)~, mỗi số trên một dòng.

Kết quả

• Đưa ra số lượng tam giác khác nhau mà An có thể ghép được.

Sample Input 1

1
2
3
4

Sample Output 1

1

Note

Tam giác có thể ghép được gồm ~3~ cạnh có màu là: {đỏ, tím, vàng}.

Sample Input 2

5
5
5
5

Sample Output 2

4

Note

Các tam giác ghép được gồm ~3~ cạnh có màu là: {xanh, đỏ, tím}, {xanh, đỏ, vàng}, {xanh, tím, vàng} và {đỏ, tím, vàng}.