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

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