<!--
function img_chg(num,img){
	document.getElementById("img["+num+"]").src=img;
}
-->