The Mariners won their 100th game that night.