int main ()
{
	char buf[154];
	fgets(buf,sizeof(buf),stdin);
	strcat(buf,"\n");
	if(strcmp(LowerCase(buf),"help") == 0)
	{
		printf("%s","OK");
	}
  system("pause");
  return 0;
}