// JavaScript Document

function cv (img,ext) {
	file = "images/"+img+ext+".gif";
	document.images[img].src = file;
}