long long x,n,ans=0; scanf("%d %d",&x,&n); for(int i=1;i<=n;i++) { if((x!=6)&&(x!=7)) { ans+=250; } if(x==7) x=1; else x++; } printf("%d",ans); return 0;