#include int main(void) { printf("OK"); return 0; }