function product_1(id)
{
  document.getElementById('big_product').src="images/product_big_"+id+".jpg";
}

function original_product()
{
	document.getElementById('big_product').src="images/product_big.jpg";
}