function swap_pic(name, descr)
{
 var bild, pic;

  if((descr == null) || (descr == ""))
	   descr = "Test";
	if(name == 'default')
	{
	   name = "howto.gif";
		 descr = "Gebrauchsanleitung";
	}
	
	bild = "/images/" + name;
//	pic = document.getElementById('platzhalter');
	pic = document.platzhalter.src = bild;
	document.getElementById("desc").firstChild.nodeValue = descr;
//	pic.src = bild;	 	
}