#pragma GCC optimize(0)
#pragma GCC optimize("", off)
#include <cstdio>
using namespace std;
int main(void){
long long ans=0;
for (int i=1;i<=10;i++){
for (int j=1;j<=50;j++){
for (int k=1;k<=20;k++){
for (int l=1;l<=17;l++){
for (int m=1;m<=19;m++){
for (int n=1;n<=23;n++){
for (int s=1;s<=1234;s++){
ans+=1ll*i*j*k*l*m*n*s;
}
}
}
}
}
}
}
printf("%lld\n",ans);
return 0;
}