function switch_image(image_name)
{
	document.getElementById('large_image').src = 'images/'+image_name;
}