function hello() {
	alert("Hello");
}

function addToCart() {
	var warenkorb = document.getElementsByName("warenkorb");
	var newElem = document.createElement("option");
	var newText = document.createTextNode("1 neue Pizza");
	newElem.appendChild(newText);
	warenkorb.add(newElem);
	
}

function delFromCart() {
}

function checkAddr() {
	return false;
}