function setFocus(id) {
	var element = document.getElementById(id);
	if (element != null) {
		element.focus();
	}
}