// JavaScript Document

function changeImage(img_name, img_src)
{
	document.getElementById(img_name).src = img_src;
}