function update_image_select(image_id, index_num, image_array)
{
	document.getElementById(image_id).src = image_array[index_num];
}