function focus_input (name) {
	if (document.getElementsByName(name)) {
		document.getElementsByName(name)[0].focus();
	}
}