#include<stdio.h>
int main (void)
{
	freopen("servers.out","w",stdout);
	printf("9");
	return 0;
}