<!--
function change_image(image_name, new_image_src)
{
	new_image = new Image();
 	new_image.src = 'images/'+new_image_src;
 	document.images[image_name].src = new_image.src;
}
//-->