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