function showmail(ancor, name, server)
{
  var url = "mail";
  url += "to:"+name;
  url += "@";
  url += server;
  document.location.href = url;
  return false;
}

function show_div(div_id)
{
                if(document.getElementById(div_id) .style.display=='none')
                document.getElementById(div_id) .style.display = 'block';
                else
                document.getElementById(div_id) .style.display = 'none';
}