//General use functions

function doRollOver(index) {
	document.getElementById("option" + index).src = "menus/option" + index + "_.gif";			
}

function doRollOut(index) {
	document.getElementById("option" + index).src = "menus/option" + index + ".gif";	
}