该程序将JavaScript转换为格式化的HTML文档，因此可以使用彩色语法在Web浏览器上显示。