#include <stdio.h>
#include <stdlib.h>
/* run this program using the console pauser or add your own getch, system("pause") or input loop */
int main(int argc, char *argv[])
{
int n,max;
scanf("%d",&n);
while(n>=0)
{
if(max<n){
max=n;
}
scanf("%d",&n);}
printf("%d",max);
return 0;
}