package yukiCoder;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class No00311 {

	public static void main(String[] args) {
		BufferedReader bufferedReader = new BufferedReader(new InputStreamReader(System.in));
		try {
			long length = Long.parseLong(bufferedReader.readLine());
			long ans = 0;
			for(long i = 1 ; i <= length ; i++) {
				if(i % 3 == 0 && i % 5 ==0) {
					ans+=4;
				}else if(i % 3 == 0) {
					ans+=2;
				}else if(i % 5 ==0) {
					ans+=2;
				}
			}
			System.out.println(ans);
		} catch (NumberFormatException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		} catch (IOException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
	}

}