process.stdin.resume();
process.stdin.setEncoding('utf8');
// Your code here!

const Main = (p)=>{
	// 1行目がinput[0], 2行目がinput[1], …に入る
	
	let t = parseInt(p)//p.split(" ").map(Number);
	//文字列から10進数に変換するときはparseIntを使います
	//出力
	let s=0;
	while(t>0){
	    if(t%3!=0&&t%5!=0){
	        s+=t;
	    }
	    t--;
	}
	console.log(s);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));