#include <stdio.h>

int main() {
    char buf[13];
    gets(buf);
}