/* Bildwechsel */

function showPic (whichpic,number) {
 if (document.getElementById) {
  document.getElementById('placeholder'+number).src = whichpic.href;
  return false;
 }
else
{
	return true;
}
	
}