<!-- 
	if (page == "home")
		document.write ('<a href="index.htm" id="active">HOME</a>');
	else
		document.write ('<a href="index.htm">HOME</a>');
		
	if (page == "company")
		document.write ('<a href="company.htm" id="active">COMPANY</a>');
	else
		document.write ('<a href="company.htm">COMPANY</a>');
		
	if (page == "products")
		document.write ('<a href="products.htm" id="active">PRODUCTS</a>');
	else
		document.write ('<a href="products.htm">PRODUCTS</a>');
	
	if (page == "downloads")
		document.write ('<a href="downloads.htm" id="active">DOWNLOADS</a>');
	else
		document.write ('<a href="downloads.htm">DOWNLOADS</a>');
	
	if (page == "contact")
		document.write ('<a href="contact.htm" class="TwoLine" id="active2">CONTACT<br />INFO</a>');
	else
		document.write ('<a href="contact.htm" class="TwoLine">CONTACT<br />INFO</a>');
		
	if (page == "extra")
		document.write ('<a href="extra.extrainfo.htm" id="active">EXTRA</a>');
	else
		document.write ('<a href="extra.extrainfo.htm">EXTRA</a>');
-->