将秒数转换为时间格式(24小时制，00:00:00格式)

#include <stdio.h>

 main( )

 {

    int a;

    scanf("%d",&a);

    int h;

    h=a/3600;

    int m;

    m=(a%3600)/60;

    int s;

    s=(a%3600)%60;

    printf("%02d:%02d:%02d\n",h,m,s);

 }