Помогите разобраться с обращение к элементу

[kot_k_k]

Добрый день. (сильно не ругайте)
наткнулся на вот такую функцию.

function put_td_value(place_id, td_id, value){

    var element_id = place_id+"_"+td_id+"_td";
    if( el(element_id) != null ){
        if (td_id == "varZip" && value != "") value = value+', ';
        if (td_id == "varCity" && value != "") value = value+', ';
        el(element_id).innerHTML = value;
    } else {
        alert("Element `"+element_id+"` not found!");
    }
}

в ней есть обращение к элементу по ID - el(element_id).
Вот только не понятно где и как указано что el - это фактически document.getElementById.
Перерыл весь код - ничего похожего нет.
Если это какое-то "умолчание" - то по чему при переносе функции в другое место она прекращает работать? Или это используется некая библиотека, которую надо подключить?

[kot_k_k]

Извините вспылил, с кем не бывает.
Оказалось "доморощенная" библиотека с меганазванием script.js.
и там это было прописано.
function el(e) {
return document.getElementById(e);
}


Тему можно закрыть и даже удалить.