#include <bits/stdc++.h>

using i64 = long long;

i64 n, m;

signed main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    while(std::cin >> n >> m) {
        i64 ans = 0;

        for(i64 i = 1; i <= std::min(2016ll, n); i++) {
            for(i64 j = 1; j <= std::min(2016ll, m); j++) {
                if((i * j) % 2016 == 0) {
                    ans += ((n - i) / 2016 + 1) * ((m - j) / 2016 + 1);
                }
            }
        }

        std::cout << ans << '\n';
    }

    return 0;
}