document.write('<link href="common.css" rel="stylesheet" type="text/css" />\n');
document.write('\n');
document.write('<div id="logs">\n');