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

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