// JavaScript Document

function chang_img(img_name, width, height){
	document.getElementById('slide').setAttribute('src', img_name);
	document.getElementById('slide').width = width;
	document.getElementById('slide').height = height;
}