function focus(a){document.getElementById(a).focus()}