 Witt had a shot to the last opportunity to tie Hernandez and force some extra swings. And he hit it to the deepest part of the ballpark. And it caromed off the base of the center field fence. And that lifted Hernandez to the home run derby championship. So if you missed it, that's how it came out. Hernandez of the Dodgers is the home run derby champion. Now the all-star game tonight.