function swap_image(image_id, file)
{
	image = document.getElementById(image_id);
	if(image)
	{
		image.src = "./images/diana/"+file;
	}
}