when generating html, ids should be strings, and quoted in the html output.