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