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 ...