function set_cookie(Bezeichner,Wert,Dauer){
	jetzt=new Date();
	Auszeit=new Date(jetzt.getTime()+Dauer*86400000);
	document.cookie=Bezeichner+"="+Wert+";expires="+Auszeit.toGMTString()+";";
}