#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
"abc : no %s"
,s);
getchar();
return
(0);