function menu_viz_1(yy, xx)
{
document.all["pos2"].style.display = 'none'
document.all["pos4"].style.display = 'none'
document.all["pos5"].style.display = 'none'
document.all[yy].style.display = ''
}

function menu_hover(obj,st)
{
  obj.style.background = '#ffffff';
}

function menu_hover2(obj,st)
{
  obj.style.background = '#F5EBCD';
}

function menu_hover3(st)
{
document.all[st].style.background = '#EBDCB4'
}