1function print(message, color)
2{
3    var paragraph = document.createElement("div");
4    paragraph.appendChild(document.createTextNode(message));
5    paragraph.style.fontFamily = "monospace";
6    if (color)
7        paragraph.style.color = color;
8    document.getElementById("console").appendChild(paragraph);
9}
10