function over(section_id) {
	document.getElementById(section_id).src = "img/" + section_id + "_." + "png";
}
function out(section_id) {
	document.getElementById(section_id).src = "img/" + section_id + "." + "png";
}