#include<iostream>

int main(){

int i=1;

printf("%d,%d,%d,%d",i++,++i,i++,++i);

}