function setdiv(id, text) {
	document.all(id).innerHTML = text;
}