U: spec of HTML coding