What number is considered the 11 o'clock number in the musical written by Doug Wright, music by Trey Anastasio and Amanda Green, lyrics by Amanda Green?