function changePic(prod_pic) {
        
			var AltesBild = eval('document.prod_gross');
			var NeuesBild = eval('pic' + prod_pic);
            AltesBild.src = NeuesBild.src;
}