function $(key) {
    return document.getElementById(key);
}