Humor Gus Dur: Hati-hati menyingkat nama orang