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