function change_img(imgName,s_img,intType){
	if(intType==1){
		var obj=document.getElementById('img_big');
		obj.setAttribute("src","images/"+imgName);
		s_img.style.borderColor='red';
	}else{
		var obj=document.getElementById('img_big');
		obj.setAttribute("src","images/"+imgName);
		s_img.style.borderColor='black';
	}
}