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