编写程序，用户输入不带千分位逗号的数字字符串，然后输出带千分位逗号的数字字符串。