// editor1
#include<stdio.h>
int main(){
printf("%d%d34 12");
}