int main() {
	int ping, i;
	
	ping = 1000;
	for (i = 1; i <= ping; i++) {
		if (i % 3 == 0) {
			ping++;
			printf(">&#25968;&#21040;&#31532;%d&#29942;,&#26377;%d&#29942;\n", i, ping);
		}
	}
	printf("&#19968;&#20849;&#20026;&#65307;%d &#29942;\n", ping);
}