function offmenu(name) {
for(var i=1;i<8;i++)
 if (name!=i) document.images['menu'+i].src='/images/2008-1-menu'+i+'.gif';
}

function showmenu(name) {
	document.images['menu'+name].src='/images/2008-1-menu'+name+'on.gif';
}

function bub(e)
{
    try {
    e.stopPropagation();
    }
    catch(ex)
    {
    window.event.cancelBubble = true;
    }
}