The text 19b8d3a74d02, as Debian 7 (Wheezy) shipped it.
move and resize widgets
XtResizeWidget(3) on Linux now