Table:
text: 2002 New York Jets season
Regular season
Regular season
Week Date_ Opponent Result_ Game_site Kickoff Attendance
10 2002-11-10 Miami Dolphins W 13–10 The Meadowlands 8:30pm 78920
11 2002-11-17 at Detroit Lions W 31–14 Ford Field 4:15pm 61720
12 2002-11-24 Buffalo Bills W 31–13 The Meadowlands 1:00pm 78745
13 2002-12-02 at Oakland Raiders L 26–20 Network Associates Coliseum 9:00pm 62257
14 2002-12-08 Denver Broncos W 19–13 The Meadowlands 4:15pm 78521
15 2002-12-15 at Chicago Bears L 20–13 Memorial Stadium 1:00pm 62226
16 2002-12-22 at New England Patriots W 30–17 Gillette Stadium 8:30pm 68436
17 2002-12-29 Green Bay Packers W 42–17 The Meadowlands 4:15pm 78733

Question: What is the kick off time for the Miami Dolphins in the regular season of the 2002 New York Jets season?