function toggleTab(n, m) {
	var tabs = [ 'applications','products' ];
	document.getElementById(tabs[n]).className = "selected";
	document.getElementById(tabs[m]).className = "";
	document.getElementById(tabs[n]+"_tab").style.display = "block";
	document.getElementById(tabs[m]+"_tab").style.display = "none";
}