// JavaScript Document

document.write('<div id="mainnav" class="basic_font mainnav">');
document.write('</div>');