function change_over(image) {
	document.getElementById(image).src = 'images/'+image+'_over.gif';
}
function change_out(image) {
	document.getElementById(image).src = 'images/'+image+'.gif';
}