import java.math.BigInteger;
import java.util.Random;
 
class Ideone
{
    static final BigInteger n1 = BigInteger.ONE;
    static final BigInteger n2 = BigInteger.valueOf(2);
    static final BigInteger n3 = BigInteger.valueOf(3);
    static final BigInteger n5 = BigInteger.valueOf(5);
    static final BigInteger n9 = BigInteger.valueOf(9);
    static final BigInteger n15 = BigInteger.valueOf(15);
 
    static BigInteger f(String n)
    {
        return f(new BigInteger(n));
    }
 
    static BigInteger f(BigInteger n)
    {
        return n(n, n3).add(n(n, n5)).subtract(n(n, n9)).subtract(n(n, n15));
    }
 
    static BigInteger n(BigInteger n, BigInteger m)
    {
        n = n.subtract(n1).divide(m);
        return n.multiply(n.add(n1)).divide(n2).multiply(m);
    }
 
    public static void main(String[] args)
    {
        System.out.println("N=300000: " + f("300000"));
        System.out.println("N=1000000: " + f("1000000"));
        System.out.println("N=123456789: " + f("123456789"));
 
        BigInteger n = new BigInteger(256, new Random(1));
        System.out.printf("N=%d: %d%n", n, f(n));
 
        n = new BigInteger(1024, new Random(1));
        System.out.printf("N=%d: %d%n", n, f(n));
    }
}

aW1wb3J0IGphdmEubWF0aC5CaWdJbnRlZ2VyOwppbXBvcnQgamF2YS51dGlsLlJhbmRvbTsKCmNsYXNzIElkZW9uZQp7CiAgICBzdGF0aWMgZmluYWwgQmlnSW50ZWdlciBuMSA9IEJpZ0ludGVnZXIuT05FOwogICAgc3RhdGljIGZpbmFsIEJpZ0ludGVnZXIgbjIgPSBCaWdJbnRlZ2VyLnZhbHVlT2YoMik7CiAgICBzdGF0aWMgZmluYWwgQmlnSW50ZWdlciBuMyA9IEJpZ0ludGVnZXIudmFsdWVPZigzKTsKICAgIHN0YXRpYyBmaW5hbCBCaWdJbnRlZ2VyIG41ID0gQmlnSW50ZWdlci52YWx1ZU9mKDUpOwogICAgc3RhdGljIGZpbmFsIEJpZ0ludGVnZXIgbjkgPSBCaWdJbnRlZ2VyLnZhbHVlT2YoOSk7CiAgICBzdGF0aWMgZmluYWwgQmlnSW50ZWdlciBuMTUgPSBCaWdJbnRlZ2VyLnZhbHVlT2YoMTUpOwoKICAgIHN0YXRpYyBCaWdJbnRlZ2VyIGYoU3RyaW5nIG4pCiAgICB7CiAgICAgICAgcmV0dXJuIGYobmV3IEJpZ0ludGVnZXIobikpOwogICAgfQoKICAgIHN0YXRpYyBCaWdJbnRlZ2VyIGYoQmlnSW50ZWdlciBuKQogICAgewogICAgICAgIHJldHVybiBuKG4sIG4zKS5hZGQobihuLCBuNSkpLnN1YnRyYWN0KG4obiwgbjkpKS5zdWJ0cmFjdChuKG4sIG4xNSkpOwogICAgfQoKICAgIHN0YXRpYyBCaWdJbnRlZ2VyIG4oQmlnSW50ZWdlciBuLCBCaWdJbnRlZ2VyIG0pCiAgICB7CiAgICAgICAgbiA9IG4uc3VidHJhY3QobjEpLmRpdmlkZShtKTsKICAgICAgICByZXR1cm4gbi5tdWx0aXBseShuLmFkZChuMSkpLmRpdmlkZShuMikubXVsdGlwbHkobSk7CiAgICB9CgogICAgcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nW10gYXJncykKICAgIHsKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oIk49MzAwMDAwOiAiICsgZigiMzAwMDAwIikpOwogICAgICAgIFN5c3RlbS5vdXQucHJpbnRsbigiTj0xMDAwMDAwOiAiICsgZigiMTAwMDAwMCIpKTsKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oIk49MTIzNDU2Nzg5OiAiICsgZigiMTIzNDU2Nzg5IikpOwoKICAgICAgICBCaWdJbnRlZ2VyIG4gPSBuZXcgQmlnSW50ZWdlcigyNTYsIG5ldyBSYW5kb20oMSkpOwogICAgICAgIFN5c3RlbS5vdXQucHJpbnRmKCJOPSVkOiAlZCVuIiwgbiwgZihuKSk7CgogICAgICAgIG4gPSBuZXcgQmlnSW50ZWdlcigxMDI0LCBuZXcgUmFuZG9tKDEpKTsKICAgICAgICBTeXN0ZW0ub3V0LnByaW50ZigiTj0lZDogJWQlbiIsIG4sIGYobikpOwogICAgfQp9