The text 19348f6d4168, as Debian 7 (Wheezy) shipped it.
Standard options supported by widgets
options(3tk) on Linux now
