Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quanto tempo total estava na pista 4?
 ###Tabelas: CREATE TABLE semifinal_3 (semifinal_3_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Lane INT, Athlete VARCHAR, Nationality VARCHAR, Time INT, React INT) CREATE TABLE innings (innings_id AUTO_INCREMENT PRIMARY KEY, Bowling VARCHAR, Player VARCHAR, Opponent VARCHAR, Venue VARCHAR, Season VARCHAR) CREATE TABLE comparison (comparison_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Year INT, Propulsion VARCHAR, launched by VARCHAR, Country VARCHAR) CREATE TABLE 2010_junior_manx_grand_prix_practice_times__&__leaderboard (2010_junior_manx_grand_prix_practice_times__&__leaderboard_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Rider VARCHAR, Sat 21 Aug VARCHAR, Mon 23 Aug VARCHAR, Tues 24 Aug VARCHAR, Wed 25 Aug VARCHAR, Thurs 26 Aug VARCHAR, Fri 27 Aug VARCHAR, Sat 29 Aug VARCHAR) CREATE TABLE runners-up_17 (runners-up_17_id AUTO_INCREMENT PRIMARY KEY, Date INT, Tournament VARCHAR, Surface VARCHAR, Partnering VARCHAR, Opponent in the final VARCHAR, Score VARCHAR)  
SELECT COUNT Time FROM semifinal_3 WHERE Lane = 4