function mail(myName,myUser,myDomain) {
  var sendmail = 'mailto:' + myName + ' <' + myUser + '@' + myDomain + '>'
  window.location.href = sendmail
}

function setfocus()
{
  document.login.password.focus();
}

function toggle( id )
{
  if (document.getElementById(id).style.display=='none')
  {
    document.getElementById(id).style.display="";
  }
  else 
  {
    hideID(id);
  }
}

function hideID( id )
{
  document.getElementById(id).style.display="none";
}

function referenceToggle()
{
  toggle('concept');
  toggle('layout');
  toggle('design');
  if (CoLaDeReminder == 1)
    CoLaDeReminder = 0;
  else
    CoLaDeReminder = 1;
}