function GE(id) { return document.getElementById(id); }