Add dehtml function.