The text 65599b0901a4, as Debian 5.0 (Lenny) shipped it.
set and check a widget's sensitivity state
XtSetSensitive(3) on Linux now