250429
/*
#include <stdio.h>
int main()
{
int n, i, b=0, a[100000]={0}, k=0;
scanf("%d", &n);
for(i=0; i<n; i++)
{
scanf("%d", &a[i]);
}
for(i=0; i<n; i++)
{
if(a[i]==1)
{
b=b+1+k;
k=k+1;
}
else
{
k=0;
}
}
printf("%d", b);
}
*/
#include <stdio.h>
int main()
{
float s, e, d=0, i;
for(i=0; i<5; i++)
{
scanf("%f %f", &s, &e);
if(e-s==0.5)
{
d=d;
}
else if(e-s>=5)
{
d=d+4;
}
else
{
d=d+e-s-1;
}
}
if(d<=5)
{
printf("%.0f", d*10000*19/20);
}
else if(d>=15)
{
printf("%.0f", d*10000*21/20);
}
else
{
printf("%.0f", d*10000);
}
}