#include <stdio.h>

int gcd(int a, int b)
{
	if (a==0)
		return b;
	else
		return gcd(b%a, a);
}

int main()
{
	int count = 0;
	for (int d = 5; d <= 12000; d++) {
		int lo = d/3+1;
		int hi = d/2;
		for (int i = lo; i <= hi; i++) {
			if (gcd(i, d)==1)
				count++;
		}
	}
	printf("%d\n", count);
}