function toggle_hidden(box_id)
{
  if (document.getElementById(box_id).className=='detailshidden') {
    document.getElementById(box_id).className='detailsshow'
  } else {
    document.getElementById(box_id).className='detailshidden'
  }
}

function stat_write(name,at)
{
  window.status='mailto:'+name+'@'+at;
}

function stat_write_blank()
{
  window.status='';
}

function email(name,at)
{
  location.href='mailto:'+name+'@'+at
}