function addTag(tagname) {
 if (document.forms[0].tagset.value == "") {
 document.forms[0].tagset.value = tagname;
 } else {
 document.forms[0].tagset.value += ", " + tagname;
 }
}