c语言中怎么输出时间符号和数字