>>872
#include <stdio.h>
#include <string.h>
int main(void) {
    char buf[256]; 
    if (scanf("%256s", buf) != 1) return 1;
    if (strcmp(buf, "abc") == 0) puts("OK");
    else puts("NO");
    return 0;
}