#include <stdio.h>

int main(){

	int N;

	scanf("%d",&N);

	int ans;
	ans = ((N/3)+(N/5))*2;
	printf("%d\n",ans);


	return 0;

}