#include <stdio.h>

void main()
{
	double s,i,j;

	s=0;

	for(i=1; i<=1000; i+=1.0)
		for(j=1; j<=1000; j+=1.0)
			s += i*j/666.0;

	fprintf(stderr, "%g\n",s);
}