function setImg (img, name) {
	if (img != null) {
		var path = 'img/' + name + '.gif';
		if (img.src != path)
			img.src = path;
	}
}