function pfshow(n)
	{document.images["mpf"+n].src="menue/pfeil_men0.gif";}
function pfhide(n)
	{document.images["mpf"+n].src="menue/pfeil_men.gif";}
function picswap(name,pic)
	{document.images[name].src=pic;}