The text 8bf9e54e45b3, as Debian 3.0 (Woody) shipped it.
change which device is used as the X keyboard
XChangeKeyboardDevice(3x) on Linux now
