// JavaScript Document
document.write("<img src=images/img_top_nav.gif width=806 height=43 border=0 usemap=#Map2>");
document.write("<map name=Map2>");
document.write("<area shape=rect coords=660,23,700,41 href=index.htm>");
document.write("<area shape=rect coords=710,23,780,42 href=downloads.htm>");
document.write("</map>");