function OnImageGif(name) {
	document[name].src = "imgs/"+name+"_over.gif";
}
function OffImageGif(name) {
	document[name].src = "imgs/"+name+"_off.gif";
}
function OnImageJpg(name) {
	document[name].src = "imgs/"+name+"_over.jpg";
}
function OffImageJpg(name) {
	document[name].src = "imgs/"+name+"_off.jpg";
}