Comments on 9/17 In Musical Theater History