function $(c) { return document.querySelector(c); }