function menuimg(id,grafik)
{
	window.document.images[id].src = grafik.src;
}


function NeuFenster (HTMLName, Fensterbeschriftung, width, height)
{
	MeinFenster = window.open (HTMLName, Fensterbeschriftung, "width="+width+",height="+height+",menubar=no,resizable=no,locationbar=no");
	MeinFenster.focus ();
}


function change(nr_bild,id_button)
{
	if (document.images)
	{
		document.images[nr_bild].src = eval(id_button + ".src");
	}
}