The text 5f7f5af4644e, as Debian 2.2 (Potato) shipped it.
convert between names and window tokens
Tk_NameToWindow(3tk) on Linux now
