function addTag(tag)
{
  if (document.getElementById('tags').value.indexOf(tag)==-1) 
    if (document.getElementById('tags').value.length==0) document.getElementById('tags').value +=tag;
    else document.getElementById('tags').value +=', '+tag;
}