<!--
// swap images;
// for id numbers use:
// document.getElementById(id_img.id).src = "images/menu/"+id_img.id+".gif";

// [ menu ];
function chOut(id_img) {
	document.getElementById(id_img).src = "images/menu/"+id_img+".gif";
}
function chOver(id_img) {
	document.getElementById(id_img).src = "images/menu/"+id_img+"2over.gif";
}

// [ sub-menu ];
function subOut(dir,id_img) {
	document.getElementById(id_img).src = "images/menu/"+dir+id_img+".gif";
}
function subOver(dir,id_img) {
	document.getElementById(id_img).src = "images/menu/"+dir+id_img+"2over.gif";
}
//-->