main(){
int i=50;
char d[5];
scanf("%s",d);
d[1]=='1'? i=2550:0;
printf("%d",i);
}