function imageSwap(a) {
	document[a].src = "img/" + a + "_over.jpg";
}

function imageSwap_out(a) {
	document[a].src = "img/" + a + ".jpg";
}

function imageSwap2(a) {
	document[a].src = "img/" + a + "_over.gif";
}

function imageSwap2_out(a) {
	document[a].src = "img/" + a + ".gif";
}