function switchImg(x) {
	document.getElementById('big_img').src=imgs[x];
	document.getElementById('visible_comment').innerHTML=document.getElementById('comment'+x).innerHTML;
}