function setFocus(id) {
	document.getElementById(id).focus();
}