// JavaScript Document

function changeImg(image,width,height) {
	document.getElementById('big_img').src = image;
	document.getElementById('big_img').height = height;
	document.getElementById('big_img').width = width;
    }