function di(imgID,imgName) {
	if (document.images) {
		document[imgID].src = "images/" + imgName + ".gif"
	}
}