#include <stdio.h> int main(){ int i,n,k,s=0; scanf("%d%d",&n,&k); for(i=0;i<=k;i++){ switch(n){ case 1:case 2:case 3:case 4:case 5: s+=250; break; case 6: break; case 7: n=1; continue; } n++; } printf("%d",s); return 0; }