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