function d$(nam) {
    return document.getElementById(nam);
}