The text 5f8f1e0f226c, as Debian 7 (Wheezy) shipped it.
Dom manipulation by element identifier.
Eliom_content.Html5.Manip.Named.client(3o) on Linux now