function changeStars(n) {
	document.getElementById("starimage").src="../_gfx/stars/stars_"+n+((useGIF) ? ".gif" : ".png");
	if(n==1) star_str = "1 Stern";
	else star_str = n+" Sternen";
	document.getElementById("startext").innerHTML="mit "+star_str+" bewerten";
}
function resetStars() {
	document.getElementById("starimage").src=img;
	document.getElementById("startext").innerHTML="Einfach Sterne anklicken!";
}