#include<stdio.h>
int main()
{
int a;
scanf("%d",&a);
if(a%3==0);
printf("OK!");
return 0;
}
09-18
636

07-25
1475

10-18
#include<stdio.h>
int main()
{
int a;
scanf("%d",&a);
if(a%3==0);
printf("OK!");
return 0;
}