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