snprintf (buffer, sizeof(buffer), "%02d:%02d:%02d:%02d", h, m, s, e);
} else {
snprintf (buffer, sizeof(buffer), "%02d:%02d:%02d:%03d", h, m, s, e);
snprintf (buffer, sizeof(buffer), "%02d:%02d:%02d:%02d", h, m, s, e);
} else {
snprintf (buffer, sizeof(buffer), "%02d:%02d:%02d:%03d", h, m, s, e);