METS AT HOME: The Mets lost their ninth straight game at Citi Field, the club’s longest home losing streak since losing nine straight at home from August 28-September 12, 2004…The nine-game home losing streak is tied for the sixth-longest in team history…The Mets last won a game at Citi Field on July 7, a 3-1 victory over the Cubs.

SHUTOUTS: Losing 13-0 to Miami tonight was the second-most lopsided shutout at home in team history…The Mets lost 16-0 to the Braves on July 2, 1999…New York was shut out for the fifth time this year…The last time the Mets were blanked was July 8 vs. Chicago (NL)…Miami posted its fourth shutout of the season.

VS. NL EAST: New York began the season 13-5 against the National League East but is 6-17 over their last 23 games vs. the division.

HOME RUNS: New York’s pitching staff allowed four home runs tonight equaling the most yielded in a home game since Citi Field opened in 2009…The Mets also surrendered four home runs on August 1, 2010 vs. Arizona and June 9, 2009 vs. Philadelphia.

RUBEN TEJADA: Extended his career-best hitting streak to 13 games with a third-inning single…Finished 1-3 and is hitting .362 (21-58) during the streak, which dates to July 26…Tejada is leading all major league shortstops with a .321 average.

GARRETT OLSON: Made his Mets debut tonight…It was his first major league appearance since April 8, 2011, with Pittsburgh vs. Colorado.

JOSE REYES: Extended his career-best hitting streak to 26 games with a first-inning home run…Reyes is hitting .365 (38-104) during the streak, which dates to July 13…The streak is the longest in the majors this season and is tied for the second-longest in franchise history… Emilio Bonifacio hit in 26 consecutive games from June 28-July 28, 2011…Luis Castillo holds the Miami record with a 35-game hitting streak.

REYES HISTORY: Jose Reyes became the first reigning batting champion with a streak of more than 25 games since Joe DiMaggio had his record 56-game hitting streak in 1941…Reyes is the first reigning National League batting champion to have a streak of 25 or more games since Rogers Hornsby, who had a 33-game streak in 1922…Please credit the Elias Sports Bureau for the research.

GIANCARLO STANTON: Hit a two-run home run in the first-inning to give him 20 home runs on the year…Stanton has reached the 20-home run plateau in every season (three) he’s played… According to the Elias Sports Bureau, Stanton joins Alex Rodriguez as the only active players with three 20+ home run seasons before turning 23…Stanton’s 20th home run game in his 82nd game played is the quickest he’s reached 20 home runs in his career…Stanton hit his 20th home run in his 88th game last year.

STANTON HOME RUNS: Giancarlo Stanton connected on his second home run, a two-run shot in the fifth inning…It was Stanton’s fifth career two-home run game and first since September 19, 2011 vs. Atlanta.

MORE STANTON: Giancarlo Stanton had a season-high four hits tonight falling a triple short of the cycle with two home runs, a single and a double…Stanton also equaled his season-high with four RBI…It’s the fourth time this season that Stanton has had four RBI in a game, last accomplished on May 21 vs. Colorado.