typed in HTML code