//
window.document.write('<div id="shademenu" class="shadetabs"><ul>');
window.document.write('<li><a href="http://www.astefo.com/">Astefo Home</a></li>');
window.document.write('<li><a href="index.htm" rev="testfield">What is ARMS</a></li>');
window.document.write('<li><a href="videos.htm">Instructional videos</a></li>');
window.document.write('<li><a href="demo.htm">On line demo</a></li>');
window.document.write('<li><a href="reference.htm">References</a></li>');
window.document.write('<li><a href="contact.htm">Contact</a></li>');
window.document.write('</ul></div>');