function changeMfg(mySelect) {
		var pos=mySelect.selectedIndex;
		if (pos > 0) {
			window.location="#"+mySelect.options[pos].value;
		}
	}