function show_img(which) {
	var ii = document.getElementById('main_img');
	if( imgs[which] )
		ii.src = imgs[which].src;
}