#include <stdio.h>
int main()
{
    int n;
    int max = 0;
    while(scanf("%d", &n) != EOF)
    {
        if(n > max)
        {
            max = n;
        }
    }
    printf("%d", max);
    return 0;
}