Vaclav Havel for U.N. secretary general.