#include <stdio.h>
int main(){int x;scanf("%d",&x);x/1000==0 ? printf("%d",x):printf("%d,%d",x/1000,x%1000);}