#include <stdio.h>
typedef double y;
int main(){y h[10000];
int i, j; y s = 0;
for(i=0; i<10000; ++i) h[i] = i+3;
for(j=0; j<10000; ++j)
for(i=0; i<10000; ++i) s += h[i];
printf ("%11.0f\n", s);
return 0;}