>>93
int main()
{
printf("%d",4);
return 0;
}