<!--
function hover(id, img){
	var image = document.getElementById(id);
	if(image){
		image.src = "images/" + img + ".jpg";
	}
}

function hoverGIF(img, id){
	var image = document.getElementById(id);
	if(image){
		image.src = "images/" + img + "_over.gif";
	}
}

function drop(id, img){
	var image = document.getElementById(id);
	if(image){
		image.src = "images/" + img + ".jpg";
	}
}

function dropGIF(img, id){
	var image = document.getElementById(id);
	if(image){
		image.src = "images/" + img + ".gif";
	}
}
-->