This creates a new HTML element (for a line break, this would be a BR). Then you just need to decide what element you want to attach it to (which he did by using getElementByID).<BR><BR><pre class ...

Always test your pages using Google’s own tools and third-party resources to view the rendered HTML to make sure all your content is showing up. Google has come a long way with rendering JavaScript.