function addToChart(anArtID){
	document.formula.artID.value = anArtID;
	document.formula.anzahl.value = document.getElementsByName("anz" + anArtID)[0].value;
	document.formula.submit();
}