function swap_image(name,rep)
{
	document.images[name].src=rep;
}