// JavaScript Document

function mausrein(name,bild)
{
	if(!bild)
	{
	var vorher = document.images[name].src ;
	var beschnitten = vorher.substring(0, vorher.length - 4);
	document.images[name].src = beschnitten + 'b.gif' ;
	}
	else{document.images[name].src = bild ;}
}
function mausraus(name,bild)
{
	if(!bild)
	{
	var vorher = document.images[name].src ;
	var beschnitten = vorher.substring(0, vorher.length - 5);
	document.images[name].src = beschnitten + '.gif' ;
	}
	else{document.images[name].src = bild ;}
}

function pop_player(URL)
{
F1 = window.open(URL, "Fenster1", "width=410,height=180,left=0,top=0,scrollbars=no");
}