<!--
// swap images;
function chOut(id_img) {
	document.getElementById(id_img).src = "images/"+id_img+".gif";
}

// for id numbers;
// document.getElementById(id_img.id).src = "images/menu/menu_top_"+id_img.id+".gif";

function chOver(id_img) {
	document.getElementById(id_img).src = "images/"+id_img+"2over.gif";
}
//-->