function get(eid) {return document.getElementById(eid);}