/**
 * Funtion zum Wechseln des Bildes
 
function wechsel(src,css) 
{ 
var bild = document.getElementById("motiv_img");
var box = document.getElementById("motiv_box");

bild.src = src;
bild.className=css;

box.className=css;

} */

/**
 * Ändert das "Hintergrund"-Bild vom div big
 * 
 */

function changeprodimg(id, orig, small) {
	  // Objekt holen

	  var big = document.getElementById("prod_b");
	  var mini = document.getElementById(id);

	  // Bild aendern
	  mini.onmouseover = function () {
	    big.style.backgroundImage = "url("+ small +")";
	  }

	  mini.onmouseout = function () {
	    big.style.backgroundImage = "url("+ orig +")";
	  }
	}