document.write('<ul><li id="news"><span><a href="/news/">News</a></span></li><li id="software"><span><a href="/software/">Software</a></span></li><li id="downloads"><span><a href="/profiles/">Profiles</a></span></li><li id="about"><span><a href="/about.html">About</a></span></li><li id="policy"><span><a href="/policy.html">Policy</a></span></li><li id="contact"><span><a href="/contact.html">Contact Us</a></span></li></ul><div class="clear"></div>')