The text 13c23858a9e0, as Debian 5.0 (Lenny) shipped it. The page shows this text now.
manipulate Tcl result
SetResult(3tcl) on Linux now
