Pedro demora 45min dentro do ônibus para ir de casa até o local de trabalho. Supondo-se que certo dia ele saiu de casa às 7h15min pela manhã e esperou 25min até pegar o ônibus, qual deve ser o horário que Pedro chegará ao trabalho?