#include <iostream>
int main() {
long long S = 0;
long long factorial = 1;
for (int n = 1; n <= 8; ++n) {
factorial *= n; // n!
long long T = 0;
int sign = -1; // (-1)^l при l = 1
for (int l = 1; l <= n; ++l) {
T += sign * (l + 500);
sign = -sign;
}
S += (factorial + 2 * n) * T;
}
std::cout << S << '\n';
return 0;
}