1929: 千分符

Daddy Squirrel 的工作中需要记录大量的数字，由于这些数字的位数一般都比较大，因此，DaddySquirrel 通常会使用千分符使得数字的可读性更好。但由于在记录时输入千分符会影响到记录数字的速度，不得已，每天晚上，Daddy Squirrel 不得不对所有已记录的数字进行加千分符的工作。

比如，“12345”在加了千分符后就变成了“12,345”，而“123456789”在加了千分符后就变成了“123,456,789”。

现请你帮忙为 Daddy Squirrel 所记录的所有数字加上千分符。

输入数据仅一个整数，表示所需处理的整数（长度不超过180位，无0～9之外的字符，无前导0）。

输出数据仅一行，表示加上千分符之后的数字。

12345

12,345