Table: olympic_800m_2
Columns: rank
lane
athlete
country
time

Question: What time does lane 7 have?
SQL: SELECT "time" FROM olympic_800m_2 WHERE "lane" = 7