#include"stdio.h"
int main()
{
int a,b,s;
scanf("%d%d",&a,&b);
s=5000-50*(100-a)-50*b;
printf("%d",s);
return 0;
}
#include"stdio.h"
int main()
{
int a,b,s;
scanf("%d%d",&a,&b);
s=5000-50*(100-a)-50*b;
printf("%d",s);
return 0;
}