#include <stdio.h>
#include <string.h>
#include <iostream>
int main()
{
  system("cls");
  char s[3];
  scanf("%s",&s);
  if (strcmp(s,"abc")==0)  {
    printf("abc : ok");
  } else {
    printf("abc : no %s",s);
  }
  getchar();
  return(0);
}