//
// nav.js
//


function nav(name, href) {
	if (module == name) {
		document.write("<td  align='center'><div class='selected'>");
		document.write(name);
		document.write("</div></td>\n");
	}
	else  {
		document.write('<td align="center"><a href="');
		document.write(href);
		document.write('">');
		document.write(name);
		document.write("</a></td>\n");
	}
}


function navbar() {
    document.write('<table width="100%"><tr>');
	nav("Company", 			"company.php"); 
	nav("Products", 		"products.php"); 
	nav("Sales", 			"sales.php"); 
	nav("Documentation", 	"documentation.php"); 
	nav("Contact Us", 		"contact.php"); 
    document.write('</tr></table>');
}