The text 0c7f812eac84, as Debian 2.2 (Potato) shipped it.
retrieve an option from the option database
GetOption(3tk) on Linux now
