#include <stdio.h>
void cio_(void){
  printf("12345");
}