function topnav() { document.write('\

'); document.write(' \'); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"a.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"bg.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"bb.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"bd.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"be.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"bf.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \

'); document.write(' \'); document.write(' \ $\"c.html\"$ '); document.write(' \ '); document.write(' \'); document.write(' \'); document.write(' \\

\\'); document.write(' \'); document.write('\'); }