#include <stdio.h>
 
main()
{
	printf("%d",3);
}