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