// JavaScript Document// JavaScript Document

function addTextToElement(id, add) {
	var text;
	var e;
	e = document.getElementById(id);
	if (e == null)
		alert('e is null');
	text = e.value;
	text += add;
	e.value = text;
	return;
}