1#include <stdio.h>
2void cio_(void){
3  printf("12345");
4}
5