deutsch_lo =new Image();  deutsch_lo.src ="../bilder/deutschland_lo.gif";
deutsch =new Image();  deutsch.src ="../bilder/deutschland.gif";
englisch_lo =new Image();  englisch_lo.src ="../bilder/england_lo.gif";
englisch =new Image();  englisch.src ="../bilder/england.gif";

function handleOver() {
	document.getElementById('deutsch').src = deutsch_lo.src
	document.getElementById('englisch').src = englisch.src
}

function handleOut() {
	document.getElementById('deutsch').src = deutsch.src
	document.getElementById('englisch').src = englisch_lo.src
}