function on_menu (name) {
document[name].src='../../images/' + name + '_.gif';
}
function off_menu (name) {
document[name].src='../../images/' + name + '.gif';
}