/*
#include <stdio.h>
int main()
{
double a,b, i;
scanf("%lf %lf",&a,&b);
for(i=a; i<=b; i+=0.01){
printf("%.2lf ",i);
}
return 0;
}
#include<stdio.h>
int main()
{
int a,b, i;
scanf("%d %d",&a,&b);
for(i=a; i<=b; i++){
if(i%2==1){
printf("%d ",i);
}
}
}
합 sum s
개수 cnt c
최대값 max
최소값 min
결과값 res
*/
/*
#include<stdio.h>
int main()
{
int a,b;
scanf("%d",&a);
b = ((1+a)*a)/2;
printf("%d",b);
}
i=i+1;
i=i+8;
sum을 i만큼 증가시켜라
sum=sum+i;
*/
/*
#include<stdio.h>
int main()
{
int a, i, sum=0;
scanf("%d",&a);
for(i=1; i<=a; i++){
sum=sum+i;
//sum에 i를 더하기
}
printf("%d",sum);
}
*/
#include<stdio.h>
int main()
{
int a,s, i,sum=0;
scanf("%d %d",&a,&s);
for(i=1; i<=s; i++){
if(i%3==0){
sum=sum+i;
}
}
printf("%d",sum);
}