tiempo = atof(buffer);
dias = tiempo / DIA;
horas = ((int)tiempo % DIA) / HORA;
minutos = (((int)tiempo % DIA) % HORA) / MINUTO;
segundos= ((((int)tiempo % DIA) % HORA)) % MINUTO;
printf("Tiempo desde el arranque del sistema: %02i:%02i:%02i:%02in", dias,horas, minutos, segundos);