(Farewell Big Red),()