let
html_node_id s = node_id (
Html_id
s)