<!--

function setValue(id, value) {
	document.getElementById(id).value = value;
}


//-->