/*
     FILE ARCHIVED ON 8:40:49 Nov 29, 2007 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 20:48:53 May 17, 2024.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/

function addToEditPage(box, title, contents) {
	var rightbar = document.getElementById(box);

	newBox = '<fieldset id="tagsdiv" class="dbx-box">';
	newBox += '<h3 class="dbx-handle">' + title + '</h3>';
	newBox += '<div class="dbx-content">' + contents + '</div>';
	newBox += '</fieldset>';

	rightbar.innerHTML +=newBox;
}

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