#include <cstdio> int main(){ int n; scanf("%d",&n); printf("%d:%d:%d",n/3600,n%3600/60,n%60); return 0; }
