>>489
#include<stdio.h>

int main(void){
int i, num, max=0;

for(i=20071114;i<=20071114+6-1;i++){
scanf("%d", &num);
if(num>max) max=num;
}
printf("%d\n", max);

return 0;
}