The text 25c09c373535, as Debian 2.2 (Potato) shipped it.
accessor functions for fonts
Tk_PostscriptFontName(3tk) on Linux now
