/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int n, k, cnt = 0, a[10000];
scanf("%d %d",&n,&k);
for(int i = 1; i <= n; i++)
{
if(n%i == 0)
{
cnt++;
a[cnt] = i;
}
}
printf("%d",a[k]);
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int a, sum;
for(int j = 1; j <= 3; j++)
{
a=0;
sum = 0;
for(int i = 1; i <= 4; i++)
{
scanf("%d",&a);
sum += a;
}
if(sum == 0)
{
printf("D\n");
}
else if(sum == 1)
{
printf("C\n");
}
else if(sum == 2)
{
printf("B\n");
}
else if(sum == 3)
{
printf("A\n");
}
else
{
printf("E\n");
}
}
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int k, s=0, sum = 0;
scanf("%d",&k);
for(;;)
{
sum += k % 10;
s = s*10 + (k%10);
k/=10;
if(k==0)
break;
}
printf("%d\n%d",s,sum);
return 0;
}
*/
/*
#include <stdio.h>//모르겠다
int main()
{
int n, a[101], i, cnt = 0,sum = 0;
scanf("%d",&n);
for(i = 1; i <= n; i++)
{
scanf("%d",&a[i]);
}
for(i = 1; i <= n; i++)
{
if(a[i]==0)
{
cnt=0;
}
else
{
cnt++;
sum += cnt;
}
}
printf("%d",sum);
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int a, b;
scanf("%d %d",&a,&b);
for(int i = a; i <= b; i++)
{
for(int j = 1; j <= 9; j++)
{
printf("%d*%d=%d\n",i,j,i*j);
}
}
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int n;
scanf("%X",&n);
for(int i = 1; i <= 15; i++)
{
printf("%X*%X=%X\n",n,i,n*i);
}
return 0;
}
*/
#include <stdio.h>
int main()
{
double s, e,sum=0;
for(int i = 0; i < 5; i++)
{
scanf("%lf %lf",&s,&e);
if(e-s>1.0)
{
if(e-s-1>=4.0)
{
sum+=4.0;
}
else
{
sum+=e-s-1;
}
}
}
if(sum >= 15.0)
{
sum= sum * 95/100 *2 *5000;
}
else if(sum <= 5.0)
{
sum=sum * 105/100 *2 * 5000;
}
else
{
sum= sum*2 *5000;
}
printf("%d",(int)sum);
return 0;
}