var i = Math.round(Math.random()*19);

function newHeader() {
   	document.getElementById("header").src = "pic/header"+i+".jpg";
}

function emptyCart() {
	var datum=new Date();
	datum.setMonth(datum.getMonth()-3);
	document.cookie="korb" + "=" + "" + "; expires=" + datum.toGMTString();
	document.cookie="test" + "=" + "" + "; expires=" + datum.toGMTString();
	document.cookie="warenliste" + "=" + "" + "; expires=" + datum.toGMTString();
 	newQuote();
}