int main() {
    int a, b;
    scanf("%d.%d", &a, &b);
    int sum = (a * 100 + b) / 25;
    long long ans = 0;
    
    for (int i = 0; i < 101; ++i) {
        for (int j = i; j < 101; ++j) {
            for (int k = j; k < 101; ++k) {
                int l = sum - i - j - k;
                if (l < 0 || l > 100) continue;
                
                if (i < j && j < k && k < l)
                    ans += 180 + (i + 100 - l) * 360 + i * (100 - l) * 720;
                if (i == j && j < k && k < l)
                    ans += 60 + i * 180 + (100 - l) * 120 + i * (100 - l) * 360;
                if (i < j && j == k && k < l)
                    ans += 90 + (i + 100 - l) * 180 + i * (100 - l) * 360;
                if (i < j && j < k && k == l)
                    ans += 60 + i * 120 + (100 - l) * 180 + i * (100 - l) * 360;
                if (i == j && j < k && k == l)
                    ans += 20 + (i + 100 - l) * 60 + i * (100 - l) * 180;
                if (i == j && j == k && k < l)
                    ans += 15 + i * 60 + (100 - l) * 30 + i * (100 - l) * 120;
                if (i < j && j == k && k == l)
                    ans += 15 + i * 30 + (100 - l) * 60 + i * (100 - l) * 120;
                if (i == j && j == k && k == l)
                    ans += 1 + (i + 100 - l) * 6 + i * (100 - l) * 30;
            }
        }
    }
    printf("%lld\n", ans);
    return 0;
}