#include <stdio.h> int main() { int n; while(scanf("%d",&n)!=EOF) { printf("%02d:%02d:%02d\n",n/3600,n%3600/60,n%60); } return 0; }