function onmenu(o, arg) {
    ox = document.getElementById(o.id + "x")
    ox.style.color = arg ? 'Yellow' : '#B0B0B0';
    ox.style.backgroundImage = 'url(images/menu00' + (arg ? 'b' : 'a') + '.gif)';
    oy = document.getElementById(o.id + "y")
    if (oy != null) {
        oy.style.display = arg ? 'inline' : 'none';
    }
}
function onsubmenu(o, arg) {
    o.style.color = arg ? 'Yellow' : '#B0B0B0';
    o.style.backgroundImage = 'url(images/menu00' + (arg ? 'c' : 'a') + '.gif)';
}