function activateMenu(cell) {
	cell.className = "highlight80";
}

function deactivateMenu(cell) {
	cell.className = "highlight50";
}

function setElementValue(element, value){
	if (document.getElementById(element))
		document.getElementById(element).value = value;
}

function LoadDigesterApplet(){
	// Das Applet wird nachgeladen, weil sonst der Seitenaufbau flackert
	var el = document.getElementById("DigesterAppletDiv");
	var html = "<applet mayscript code=\"DigesterApplet.class\" archive=\"DigesterApplet.jar\" width=\"260\" height=\"130\"></applet>";
	el.innerHTML = html;
}

function setCookie(c_name,value,expiredays){
	var exdate=new Date();
	exdate.setDate(exdate.getDate()+expiredays);
	document.cookie=c_name+ "=" +escape(value)+
	((expiredays==null) ? "" : ";expires="+exdate.toGMTString());
}