Typed in the HTML code