function mail(user,domain,subject)
{
  if (subject == '')
  {
    loc = "mailto:" + user + "@" + domain;
  }
  else
  {
    loc = "mailto:" + user + "@" + domain + "?subject=" + subject + "";
  }
  
  window.location = loc;
}

function confirmation(text, loc)
{
  if (confirm(text))
  {
    location.replace(loc)
  }
}

function diving(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";
  }
}