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