function activeSubmenu() {
	var obj= document.getElementById(cat);
	obj.style.color = "#00AA00";
}

function activeHeadline() {
	var obj= document.getElementById(art);
	obj.style.color = "#00AA00";
}