function main(input) {
    input = input.trim().split(" ");
    var n = parseInt(input[0], 10);
    var ans = 0;

    for (var i = 1; i <= n; i++) {
        if (i % 3 !== 0 && i % 5 !== 0) {
            ans += i;
        }
    }

    console.log(ans);

  }
   
  main(require("fs").readFileSync("/dev/stdin", "utf8"));