#include<bits/stdc++.h>
using namespace std;
set<int> s;
int main(){
    int x=0;
    while(cin>>x) s.insert(x);
    int ans=0;
    for(auto iter=s.begin();iter!=s.end();++iter) ans+=*iter; 
    cout<<ans;
    return 0;
}