"Mamma Mia!" 4000th Broadway Performance Celebration.