function get_elem(el)
{
    return document.getElementById(el);
}

function link(str)
{
  return top.location.href=str;
}

function mn_over(el)
{
    el.className='mn_act';
}

function mn_out(el)
{
    el.className='';
}