new hours, minutes, seconds, timestamp; timestamp = gettime(hours, minutes, seconds); printf("%02d:%02d:%02d", hours+3, minutes, seconds); //Código de exemplo da documentação