function update(what, output) {
	if (document.all && document.all[what]) {
		document.all[what].innerHTML = output;
	}
	else if (document.layers) {
		document.layers[what].document.open();
		document.layers[what].document.write(output);
		document.layers[what].document.close();
	}
	else if (document.body && document.body[what]) {
		document.body[what].innerHTML = output;
	}
	else {
		element = document.getElementById(what);
		if (element != null) {
			element.innerHTML = output;
			// console.log('update: ' + what + ' tagged' + tagged.toString() );
		}
	}
}