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