该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

Description

今年的上海世博会上，神秘的中山馆门口有一个史前游戏，一块巨石上有一堆神秘的小石头和一个史前的天平，中山的小工作人员正在组织观众们玩一个小游戏——用一个天平和一些石头称出一个物体的重量，当然，每个小石头都是标示出了它的重量的。

这个小游戏不仅挑战了小朋友们的智慧，还提供了很多小奖品，因此小朋友们玩得非常开心。小博也玩了两次，一次他用1个1克的石头和2个5克的石头，称出了一个重量为11克的物品；第二次他用2个10克的石头和3个1克的石头，称出了一个重量为17克的物品。你能想明白他是怎么称的吗？

聪明的小博继续想，如果给我一定数量的各种石头，我能够称出多少种物品的重量呢？于是他回家后，自己编写了一个程序解决，请你也编写一个程序解决这个问题。

Format

Input

只有一行，共4个数字n1、n2、n3、n4，分别表示1克、2克、5克、10克的石头的数量。取值范围：0<=n1,n2,n3,n4<=500。

Output

只有一个数据，由n1个1克的石头，n2个2克的石头，n3个5克的石头，n4个10克的石头，一共可以称出多少种重的物品的数量。

Samples

1 0 0 1

4

样例解释

用1个1克的石头，1个10克的石头，一共可以称出4种不同的重，分别是：1、9、10、11。

数据说明

如果不满足输出格式得0分；

对于50%的数据：0<=n1,n2,n3,n4<=100，另外50%的数据：0<=n1,n2,n3,n4<=500