The text 3d6abe74a651, as Debian 1.2 (Rex) shipped it.
change which device is used as the X keyboard
XChangeKeyboardDevice(3x) on Linux now
