document.write('<div id="logs">\n');

