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: Qual é o número do trem que parte de Pune às 13:00?
 ###Tabelas: CREATE TABLE regular_season_schedule (regular_season_schedule_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Home Team VARCHAR, Score VARCHAR, Visiting Team VARCHAR, Stadium VARCHAR) CREATE TABLE pune_-_lonavala_service (pune_-_lonavala_service_id AUTO_INCREMENT PRIMARY KEY, Train Number INT, Train Name VARCHAR, Departure Pune VARCHAR, Arrival Lonavla VARCHAR, Frequency VARCHAR, Origin VARCHAR) CREATE TABLE censorship_by_country (censorship_by_country_id AUTO_INCREMENT PRIMARY KEY, Country VARCHAR, Region VARCHAR, FHFreepressreport VARCHAR, RWB Pressfreedomindex VARCHAR, Internetlists VARCHAR, ONIpoliticalfiltering VARCHAR, ONIsocialfiltering VARCHAR, ONIsecurityfiltering VARCHAR, ONItoolsfiltering VARCHAR) CREATE TABLE season_three_2011 (season_three_2011_id AUTO_INCREMENT PRIMARY KEY, Series # INT, Episode # INT, Title VARCHAR, Written by VARCHAR, Directed by VARCHAR, Viewers INT, Original airdate VARCHAR) CREATE TABLE paralympic_men (paralympic_men_id AUTO_INCREMENT PRIMARY KEY, Classification VARCHAR, Fastest time (s) INT, Athlete VARCHAR, Country VARCHAR, Date VARCHAR, Location VARCHAR)  
SELECT Train Number FROM pune_-_lonavala_service WHERE Departure Pune = 13:00